Robin Milner

The Space and Motion of Communicating Agents

• Broschiertes Buch

Produktbeschreibung

Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 214
• Erscheinungstermin: 20. April 2009
• Englisch
• Abmessung: 227mm x 153mm x 13mm
• Gewicht: 317g
• ISBN-13: 9780521738330
• ISBN-10: 0521738334
• Artikelnr.: 26032779

Autorenporträt

Robin Milner is Professor Emeritus of Computer Science and Head of the Computer Laboratory at the University of Cambridge. He is a recipient of the A.M. Turing Award.

Inhaltsangabe

Preface
Part I. Space: 1. The idea of bigraphs
2. Defining bigraphs
3. Algebra for bigraphs
4. Relative and minimal bounds
5. Bigraphical structure
6. Sorting
Part II. Motion: 7. Reactions and transitions
8. Bigraphical reactive systems
9. Behaviour in link graphs
10. Behavioural theory for CCS
Part III. Development: 11. Further topics
12. Background, development and related work
Appendices: Appendix 1. Technical detail
Appendix 2. Solutions to exercises
Bibliography
Index
Glossary of terms and symbols.