TY  - BOOK
AU  - Alexander Michael Ed.
AU  -  Gardner William Ed.
TI  - Process algebra for parallel and distributed processing
T2  - Champman and Hall/CRC computational science series
SN  - 9781420064865 (hbd)
U1  - D65,8(B):52, P9   TD 
PY  - 2009///
CY  - Boca Raton 
PB  - CRC Pres     
KW  -  Electronic data processing-distributed processing
KW  -  Formal methods
KW  - Parallel processing
N1  - Includes bibliographical references.; Index 403-415p
ER  -