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 (06 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

DOWNLOAD 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:

DOWNLOAD EBOOK

Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.
Communicating Process Architectures 2009
Language: en
Pages: 420
Authors: P. H. Welch
Categories: Computers
Type: BOOK - Published: 2009 - Publisher: IOS Press

DOWNLOAD EBOOK

"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven,
Service-Oriented Computing – ICSOC 2017 Workshops
Language: en
Pages: 419
Authors: Lars Braubach
Categories: Computers
Type: BOOK - Published: 2018-06-15 - Publisher: Springer

DOWNLOAD 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
NASA Formal Methods
Language: en
Pages: 508
Authors: Kristin Yvonne Rozier
Categories: Computers
Type: BOOK - Published: 2023-07-04 - Publisher: Springer Nature

DOWNLOAD 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.