TY  - GEN
AU  - Hennessy,Matthew
TI  - A distributed pi-calculus 
SN  - 9780521873307
U1  - 004.36 
PY  - 2007///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Electronic data processing
KW  - Distributed processing
KW  - Pi-calculus
ER  -