The Space and Motion of Communicating Agents

ISBN-13: 9780521490306 / Angielski / Twarda / 2009 / 191 str.

Robin Milner

Opis

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

Spis treści

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.