000			00502nam a22001457a 4500
999			_c34026 _d34026
020			_a9780521820493 (hb)
082			_a004.0151 _bBAE
100			_aBaeten, J. C. M. _aReniers, M. A.
245			_aProcess algebra : equational theories of communicating processes
260			_aNew York _bCambridge _c2010
300			_axvi, 460 p. _b: ill. _c; 23 cm.
500			_aIncludes index.
650			_aMathematics _aEquational Algebra _vParallel processing _vTransition system _vProcess theories _vFBSH
942			_cBK