The space and motion of communicating agents (E-Book) Robin Milner
Publisher: Cambridge : Cambridge University Press, c2009Description: xxi, 191 p. : ill. ; 23 cmISBN: 0521490308 (hbk.); 0521738334 (pbk.); 9780521490306 (hbk.); 9780521738330 (pbk.)Subject(s): Algebraisk topologi | Communication -- Network analysis -- Mathematical models | Data transmission systems | Datakommunikation | Machine theory | Nets (Mathematics) | Telecommunication systems -- Mathematical models | Till�mpad matematik | The space and motion of communicating agents E-BookDDC classification: 514.223
Contents:
Part 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
| Item type | Current location | Home library | Collection | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | NFIC | 514.223 MIL (Browse shelf) | Link to resource | Available | MCSEB-3256 |
Total holds: 0
Browsing Military College of Signals (MCS) shelves Close shelf browser
Part 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
There are no comments on this title.