The Pi-Calculus
The Pi-CalculusDavid Walker
Sign up to use
The Pi-Calculus

The Pi-Calculus A Theory of Mobile Processes

Sign up to use
Sign up to use
Graduate text on the p-calculus, a mathematical model of mobile computing systems.