TY  - BOOK
AU  - Sangiorgi,Davide
AU  - Walker,David
TI  - The [pi]-calculus: a theory of mobile processes 
SN  - 9780521543279
AV  - QA76.59 .S36 2001
U1  - 004.6 21
PY  - 2001///
CY  - Cambridge, [England], New York
PB  - Cambridge University Press
KW  - Mobile computing
KW  - Mobile communication systems
KW  - Pi-calculus
N1  - Includes bibliographical references (p. 562-575) and index
ER  -