The Space and Motion of Communicating Agents

Robin Milner's unified and rigorous structural theory, based on bigraphs, for systems of interacting agents, enables us to model networks of agents and understand and optimise their behaviour. It bridges existing theories of concurrent processes and aspirations for ubiquitous systems, and is destined to have far-reaching and profound significance.