| 000 | 00793 a2200265 4500 | ||
|---|---|---|---|
| 020 | _a0-521-78177-9 | ||
| 020 | _a0-521-54327-4 | ||
| 040 |
_aDLC _bDLC |
||
| 082 | _a515 | ||
| 082 | _a515 | ||
| 082 | _a004 | ||
| 100 | 1 | _aSangiorgi, Davide | |
| 245 | 0 | 4 |
_aThe -calculus : a theory of mobile processes _ba theory of mobile processes _cDavide Sangiorgi and David Walker |
| 246 | 1 | 3 | _aPi-calculus. |
| 260 |
_aCambridge : _bCambridge Univ. Press, _c2001 |
||
| 300 |
_a580 s. ; _c25 cm |
||
| 650 | 7 | _aPi-calculus | |
| 650 | 7 | _aMobile communication systems | |
| 650 | 7 | _aMobile computing | |
| 650 | 7 | _aDatalogi | |
| 650 | 7 | _aComputer science | |
| 700 | 1 | _aWalker, David | |
| 856 | 4 | 1 |
_3Table of contents _uhttp://www.loc.gov/catdir/toc/cam027/00052904.html |
| 942 |
_cBK _k004.6 SAN _2ddc |
||
| 999 |
_c5540 _d5540 |
||