An Algebra for Directed Bigraphs

DOI10.1016/j.entcs.2008.03.033zbMath1279.68259OpenAlexW1973355342MaRDI QIDQ2870313

Davide Grohmann, Marino Miculan

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.033

zbMATH Keywords

fusion calculusbigraphical modelscategorical meta-models for concurrency

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) Graphs, diagram schemes, precategories (18A10)

Related Items (3)

DBtk: A Toolkit for Directed Bigraphs ⋮ Computing Embeddings of Directed Bigraphs ⋮ On GS-Monoidal Theories for Graphs with Nesting

Cites Work

• Unnamed Item
• Unnamed Item
• Pure bigraphs: structure and dynamics
• Local Bigraphs and Confluence: Two Conjectures
• Matching of Bigraphs
• Axioms for bigraphical structure
• Reactive Systems over Directed Bigraphs
• Directed Bigraphs
• Automata, Languages and Programming

This page was built for publication: An Algebra for Directed Bigraphs