The Space and Motion of Communicating Agents
The Space and Motion of Communicating Agents
复制标题
DOI：
10.1017/cbo9780511626661
复制
发表时间：
2009-04
期刊：
影响因子：
--
通讯作者：
R. Milner
中科院分区：
文献类型：
--
作者：
R. Milner
世界上越来越多的互动代理人分布在空间，真实的或抽象的。这些代理可以是人工的，如在管理和监控交通或健康的计算系统中;或者它们可以是自然的，例如通信的人类或生物细胞。重要的是能够对代理网络进行建模，以便理解和优化它们的行为。罗宾米尔纳在这本书中描述了这样一个模型，提出了一个统一的和严格的结构理论，基于双图，系统的相互作用代理。这一理论是现有的并发过程的理论和无处不在的系统，其巨大的规模挑战我们的理解的愿望之间的桥梁。这本书是自成一体的数学，旨在学习：例子和练习比比皆是，为后者提供解决方案。
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.