The Space and Motion of Communicating Agents by Robin Milner