TY  - BOOK
AU  - Alexander,Michael
AU  - Gardner,William
TI  - Process algebra for parallel and distributed processing
T2  - Chapman & Hall/CRC computational science series
SN  - 9781420064865 (alk. paper)
PY  - 2009///
CY  - Boca Raton
PB  - CRC Press
KW  - Parallel processing (Electronic computers)
KW  - Electronic data processing
KW  - Distributed processing
KW  - Formal methods (Computer science)
N1  - "A Chapman & Hall book."; Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/toc/ecip0822/2008029295.html
ER  -