TY  - BOOK
AU  - Sangiorgi, Davide
TI  - The calculus: a theory of mobile processes 
SN  - 0521781779
AV  - QA 316 San 
PY  - 2001///
CY  - Cambridge
PB  - CUP
KW  - MOBILE COMPUTING
KW  - MOBILE COMMUNICATION SYSTEMS
KW  - PI-CALCULUS
ER  -