The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents
Author :
Publisher : Cambridge University Press
Total Pages : 193
Release :
ISBN-10 : 9781139477406
ISBN-13 : 1139477404
Rating : 4/5 (404 Downloads)

Book Synopsis The Space and Motion of Communicating Agents by : Robin Milner

Download or read book The Space and Motion of Communicating Agents written by Robin Milner and published by Cambridge University Press. This book was released on 2009-03-19 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Space and Motion of Communicating Agents Related Books

The Space and Motion of Communicating Agents
Language: en
Pages: 193
Authors: Robin Milner
Categories: Computers
Type: BOOK - Published: 2009-03-19 - Publisher: Cambridge University Press

GET EBOOK

The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that
The Space and Motion of Communicating Agents
Language: en
Pages: 215
Authors: Robin Milner
Categories: Computers
Type: BOOK - Published: 2009 - Publisher:

GET EBOOK

Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.
NASA Formal Methods
Language: en
Pages: 508
Authors: Kristin Yvonne Rozier
Categories: Computers
Type: BOOK - Published: 2023-07-04 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
Software Engineering and Formal Methods
Language: en
Pages: 524
Authors: Radu Calinescu
Categories: Computers
Type: BOOK - Published: 2021-12-02 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual eve
Service-Oriented Computing – ICSOC 2017 Workshops
Language: en
Pages: 419
Authors: Lars Braubach
Categories: Computers
Type: BOOK - Published: 2018-06-15 - Publisher: Springer

GET EBOOK

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Ser