An algebra for directed bigraphs

DOI10.1016/J.ENTCS.2008.03.033MaRDI QIDQ2870313zbMATH OpenOpenAlexFDO

Authors 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

bigraphical modelscategorical meta-models for concurrencyfusion calculus

Mathematics Subject Classification ID

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

Recommendations

• On a class of algebras associated to directed graphs
• The algebra of directed acyclic graphs
• Algebras associated to acyclic directed graphs
• On incidence algebras and directed graphs
• Bigraphs and their algebra
• A direct approach to co-universal algebras associated to directed graphs
• scientific article; zbMATH DE number 3959458
• The algebra of directed complexes
• Isomorphisms of algebras associated with directed graphs
• An algebraic framework of weighted directed graphs

Cites work

• Automata, Languages and Programming
• Axioms for bigraphical structure
• Bigraphical reactive systems
• Directed bigraphs
• Explicit fusions
• Local bigraphs and confluence: two conjectures (extended abstract)
• Matching of bigraphs
• Pure bigraphs: structure and dynamics
• Reactive Systems over Directed Bigraphs

Cited in

(10)

• Bigraphs and their algebra
• \textsf{DBtk}: a toolkit for directed bigraphs
• On GS-monoidal theories for graphs with nesting
• Axiomatizing binding bigraphs
• Reactive Systems over Directed Bigraphs
• Algebraic structures of directed acyclic graphs: application to concurrent calculus
• The algebra of directed acyclic graphs
• Computing embeddings of directed bigraphs
• Directed bigraphs
• On a class of algebras associated to directed graphs

This page was built for publication: An algebra for directed bigraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870313)