00454nam a22001217a 4500020002300000082001900023100003700042245006900079260003000148300003400178500002000212650010000232  a9780521820493 (hb)  a004.0151	bBAE  aBaeten, J. C. M.aReniers, M. A.  aProcess algebra : equational theories of communicating processes  aNew YorkbCambridgec2010  axvi, 460 p.b: ill.c; 23 cm.  aIncludes index.  aMathematicsaEquational AlgebravParallel processingvTransition systemvProcess theoriesvFBSH