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

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)

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

• scientific article; zbMATH DE number 1759424 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• Automata, Languages and Programming
• Axioms for bigraphical structure
• Directed bigraphs
• Local bigraphs and confluence: two conjectures (extended abstract)
• Matching of bigraphs
• Pure bigraphs: structure and dynamics
• Reactive Systems over Directed Bigraphs

Cited in

(9)

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

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)