Robin Milner

The Space and Motion of Communicating Agents

• Gebundenes Buch

Produktbeschreibung

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

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 214
• Erscheinungstermin: 20. April 2009
• Englisch
• Abmessung: 229mm x 150mm x 15mm
• Gewicht: 431g
• ISBN-13: 9780521490306
• ISBN-10: 0521490308
• Artikelnr.: 26527444

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.