AboutSign inJoin
The Pi-Calculus

The Pi-Calculus A Theory of Mobile Processes

David Walker, Davide Sangiorgi — 2003
Graduate text on the p-calculus, a mathematical model of mobile computing systems.
Sign up to use