TY  - BOOK
AU  - Hennessy, Matthew
TI  - A distributed pi-calculus
SN  - 9780521873307
U1  - 004.36 HEN 
PY  - 2007///
CY  - Cambridge
PB  - Cambridge Univeristy Press
KW  - Electronic data processing - Distributed processing
KW  - Pi-calculus
N1  - Includes bibliographical references and index
ER  -