The Space and Motion of Communicating Agents
Seiten
2009
Cambridge University Press (Verlag)
978-0-521-49030-6 (ISBN)
Cambridge University Press (Verlag)
978-0-521-49030-6 (ISBN)
Robin Milner's unified and rigorous structural theory, based on bigraphs, for systems of interacting agents, enables us to model networks of agents and understand and optimise their behaviour. It bridges existing theories of concurrent processes and aspirations for ubiquitous systems, and is destined to have far-reaching and profound significance.
The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance.
The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance.
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.
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.
Erscheint lt. Verlag | 19.3.2009 |
---|---|
Zusatzinfo | Worked examples or Exercises |
Verlagsort | Cambridge |
Sprache | englisch |
Maße | 157 x 235 mm |
Gewicht | 440 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Technik ► Nachrichtentechnik | |
ISBN-10 | 0-521-49030-8 / 0521490308 |
ISBN-13 | 978-0-521-49030-6 / 9780521490306 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €