Pure bigraphs: Structure and dynamics

13 years 4 months ago
Pure bigraphs: Structure and dynamics
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigraphical reactive system (Brs) in which bigraphs can reconfigure themselves. Following an earlier pa- Mentioning the place of this paper in a series per describing link graphs, a constituent of bigraphs, this paper is a devoted to pure bigraphs, which in turn underlie various more refined forms. Elsewhere it is shown that behavioural analysis for Petri nets, -calculus and mobile ambients can all be recovered in the uniform framework of bigraphs. The paper begins by developing the dynamic theory of an abstract structure, a wide reactive system (Wrs), of which a Brs is an instance. In this context, labelled transitions are defined in such a way that the induced bisimilarity is a congruence. This work is then specialised to Brss, whose graphical structure allows many refinements of the dynamic theory. The latter p...
Robin Milner
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Authors Robin Milner
Comments (0)