Pi-Calculus
A Theory of Mobile Processes
Autor:
Davide Sangiorgi, David Walker
Graduate text on the p-calculus, a mathematical model of mobile computing systems.
Graduate text on the p-calculus, a mathematical model of mobile computing systems.