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