| 000 | 01368 a2200313 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20170207165830.0 | ||
| 020 | _a0521490308 (hbk.) | ||
| 020 | _a0521738334 (pbk.) | ||
| 020 | _a9780521490306 (hbk.) | ||
| 020 | _a9780521738330 (pbk.) | ||
| 035 | _a(OCoLC)ocn261177529 | ||
| 040 | _cNust | ||
| 082 | 0 | 4 | _a514.223 |
| 100 | 1 | _aMilner, R. | |
| 245 | 1 | 4 |
_aThe space and motion of communicating agents (E-Book) _cRobin Milner |
| 260 |
_aCambridge : _bCambridge University Press, _cc2009 |
||
| 300 |
_axxi, 191 p. : _bill. ; _c23 cm. |
||
| 505 | _aPart I : Space 1 he idea of bigraphs 3 Defining bigraphs 14 Algebra for bigraphs 28 Relative and minimal bounds 39 Bigraphical structure 46 6Sorting 59 Part II : Motion 71 Reactions and transitions 73 Bigraphical reactive systems 88 Behaviour in link graphs 100 Behavioural theory for CCS 110 Part III : Development 121 Further topics 123 Background, development and related work 139 | ||
| 650 | 7 | _aAlgebraisk topologi | |
| 650 | 7 |
_aCommunication _xNetwork analysis _xMathematical models. |
|
| 650 | 7 | _aData transmission systems | |
| 650 | 7 | _aDatakommunikation | |
| 650 | 7 | _aMachine theory. | |
| 650 | 7 | _aNets (Mathematics) | |
| 650 | 7 |
_aTelecommunication systems _xMathematical models. |
|
| 650 | 7 | _aTill�mpad matematik | |
| 651 | _aThe space and motion of communicating agents E-Book | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c213225 _d213225 |
||