| 000 | 01736nam a22003618i 4500 | ||
|---|---|---|---|
| 001 | CR9780511624193 | ||
| 003 | UkCbUP | ||
| 005 | 20200124160221.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 090916s1990||||enk o ||1 0|eng|d | ||
| 020 | _a9780511624193 (ebook) | ||
| 020 | _z9780521400435 (hardback) | ||
| 040 |
_aUkCbUP _beng _erda _cUkCbUP |
||
| 050 | 0 | 0 |
_aQA267 _b.B33 1990 |
| 082 | 0 | 0 |
_a511.3 _220 |
| 100 | 1 |
_aBaeten, J. C. M., _eauthor. |
|
| 245 | 1 | 0 |
_aProcess algebra / _cJ.C.M. Baeten and W.P. Weijland. |
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c1990. |
|
| 300 |
_a1 online resource (248 pages) : _bdigital, PDF file(s). |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aCambridge tracts in theoretical computer science ; _v18 |
|
| 500 | _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). | ||
| 520 | _aThis is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science. | ||
| 650 | 0 | _aMachine theory. | |
| 650 | 0 | _aParallel processing (Electronic computers) | |
| 700 | 1 |
_aWeijland, W. P., _eauthor. |
|
| 776 | 0 | 8 |
_iPrint version: _z9780521400435 |
| 830 | 0 |
_aCambridge tracts in theoretical computer science ; _v18. |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1017/CBO9780511624193 |
| 999 |
_c516713 _d516711 |
||