TY  - BOOK
AU  - Sangiorgi, Davide.
AU  - Walker, David.
TI  - Pi-Calculus : Theory of Mobile Processes
SN  - 0-521-78177-9
CY  - Cambridge
KW  - Pi-Calculus
ER  -