| 000 | 01152nam a22003734a 4500 | ||
|---|---|---|---|
| 999 |
_c15475 _d15475 |
||
| 001 | 3191129 | ||
| 003 | OSt | ||
| 005 | 20190807100114.0 | ||
| 008 | 001027s2001 enk b 001 0 eng | ||
| 010 | _a 00052904 | ||
| 015 | _aGBA1-42069 | ||
| 020 | _a9780521543279 | ||
| 024 | _c8385.00 | ||
| 035 | _a(OCoLC)ocm45308877 | ||
| 040 |
_aDLC _cAUI _dUKM _dC#P |
||
| 042 | _apcc | ||
| 050 | 0 | 0 |
_aQA76.59 _b.S36 2001 |
| 082 | 0 | 0 |
_a004.6 _221 |
| 100 | 1 | _aSangiorgi, Davide. | |
| 245 | 1 | 5 |
_aThe [pi]-calculus : _ba theory of mobile processes / _cDavide Sangiorgi, David Walker. |
| 260 |
_aCambridge, [England] ; _aNew York : _bCambridge University Press, _c2001. |
||
| 300 |
_axii;580 p. _c26 cm. |
||
| 504 | _aIncludes bibliographical references (p. 562-575) and index. | ||
| 650 | 0 | _aMobile computing. | |
| 650 | 0 | _aMobile communication systems. | |
| 650 | 0 | _aPi-calculus. | |
| 700 | 1 |
_aWalker, David, _d1961- |
|
| 942 |
_2ddc _c001 |
||
| 990 | _aQA | ||