Axioms for bigraphical structure

DOI10.1017/S0960129505004809zbMath1083.68082MaRDI QIDQ3371524

Arthur J. Milner

Publication date: 21 February 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Petri nets\(\pi\)-calculusBigraphs

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Using bigraphs to model topological graphs embedded in orientable surfaces ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ An inductive characterization of matching in binding bigraphs ⋮ The Algebra of Directed Acyclic Graphs ⋮ Systemic computation: A model of interacting systems with natural characteristics ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics ⋮ Matching of Bigraphs ⋮ Bigraphs and Their Algebra ⋮ An Algebra for Directed Bigraphs

This page was built for publication: Axioms for bigraphical structure