Milner, R.

The space and motion of communicating agents (E-Book) Robin Milner - Cambridge : Cambridge University Press, c2009 - xxi, 191 p. : ill. ; 23 cm.

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

0521490308 (hbk.) 0521738334 (pbk.) 9780521490306 (hbk.) 9780521738330 (pbk.)


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-Book

514.223