The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents

by Robin Milner
     
 

ISBN-10: 0521490308

ISBN-13: 9780521490306

Pub. Date: 05/31/2009

Publisher: Cambridge University Press

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 optimize their

Overview

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 optimize their behavior. 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 self-contained mathematically and is designed to be learned from: examples and exercises abound, solutions for the latter are provided.

Product Details

ISBN-13:
9780521490306
Publisher:
Cambridge University Press
Publication date:
05/31/2009
Pages:
214
Product dimensions:
6.00(w) x 9.00(h) x 0.70(d)

Table of Contents

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >