Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance. More...