00754nam a22001697a 4500952011400000952011400114999001700228020002300245082001900268100003700287245006900324260003000393300003400423500002000457650010000477942000700577  00104070afsdbfsdd2021-04-12eBook Housel0o004.0151	 BAEp73373r2021-04-12 00:00:00t1w2021-04-12yBK  00104070afsdbfsdd2021-04-12eBook Housel0o004.0151	 BAEp73372r2021-04-12 00:00:00t2w2021-04-12yBK  c34026d34026  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  cBK