000 00777 a2200289 4500
001 293969
020 _a978-0-521-82049-3
041 _aeng
080 _a681.3:51Bae
245 _aProcess algebra : equational theories of communicating processes
250 _a
260 _aCambridge
260 _bCambridge University Press
260 _c2010
300 _axvi,460 p.
300 _c23.5 cm
490 _aCambridge tracts in theoretical computer science ; v.50
100 _aBaeten, J.C.M.
700 _aBasten, T.
700 _aReniers, M.A.
700 _a
650 _a
650 _aComputer Science and Engineering
650 _aParallel processing(Electronic computers) , Electronic data processing -Distributed processing
942 _cBK
942 _2UDC
999 _c152506
_d152506