| 000 | 01214cam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | 1547432 | ||
| 003 | OSt | ||
| 005 | 20171106120758.0 | ||
| 008 | 910220s1990 enk b 001 0 eng | ||
| 010 | _a 91119944 | ||
| 020 | _a9780521820493 (Hbk) | ||
| 040 |
_aIISER Bhopal _cIISER Bhopal |
||
| 050 | 0 | 0 |
_aQA267 _b.B33 1990 |
| 082 | 0 | 0 |
_a004.0151 B145P _223 |
| 100 | 1 |
_aBaeten, J. C. M. _922097 |
|
| 222 | _aEECS-textbook collection | ||
| 245 | 1 | 0 |
_aProcess algebra : _cJ.C.M. Baeten and W.P. Weijland. _bequational theories of communicating processes |
| 260 |
_aCambridge : _bCambridge University Press, _c2010. |
||
| 300 |
_axvi, 460 p. ; _c26 cm. |
||
| 440 | 0 |
_aCambridge tracts in theoretical computer science ; _v50 _922098 |
|
| 504 | _aIncludes bibliographical references and indexes. | ||
| 650 | 0 |
_aMachine theory. _922099 |
|
| 650 | 0 |
_aProcess algebra. _922123 |
|
| 650 | 0 |
_aParallel processing (Electronic computers) _922100 |
|
| 650 | 0 |
_aCommunication process _922124 |
|
| 700 | 1 |
_aBasten, T. _922101 |
|
| 700 | 1 |
_aReniers, M. A. _922125 |
|
| 906 |
_a7 _bcbc _corignew _d3 _encip _f19 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c8278 _d8278 |
||