TY  - BOOK
AU  - Hennessy,Matthew
TI  - A distributed pi-calculus
SN  - 9780521873307 (hbk.)
PY  - 2007///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Electronic data processing
KW  - Distributed processing
KW  - Pi-calculus
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/enhancements/fy0803/2007275190-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy0803/2007275190-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0803/2007275190-t.html
ER  -