The space and motion of communicating agents (2008) [pdf]
Summary
The space and motion of communicating agents introduces bigraphs as a unified formalism for representing both the spatial placement of components and their communication links. It combines place graphs (nesting structure) with link graphs (connections) to model distributed, mobile systems where agents can move and reconfigure. The paper defines the core syntax and semantics of bigraphs, explains how embeddings and morphisms compose, and presents reaction rules that describe system evolution, arguing for a flexible, compositional framework applicable to various IT architectures and automation scenarios.