On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs

DOI10.3233/FI-2014-1103MaRDI QIDQ5259267zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Ugo Montanari, Daniele Terreni, Gordon D. Plotkin

Publication date 26 June 2015

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2014-1103

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)

Recommendations

• Pure bigraphs: structure and dynamics
• Bigraphs and their algebra
• GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
• Directed bigraphs
• On GS-monoidal theories for graphs with nesting

Cited in

(12)

• Executing bigraphical reactive systems
• On GS-monoidal theories for graphs with nesting
• Bialgebraic foundations for the operational semantics of string diagrams
• Graphical Conjunctive Queries.
• The algebra of partial equivalence relations
• Free gs-monoidal categories and free Markov categories
• Lawvere categories as composed PROPs
• scientific article; zbMATH DE number 7649945 (Why is no real title available?)
• Interacting Hopf algebras
• An algebraic presentation of term graphs, via gs-monoidal categories
• GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
• Multilevel System as Multigraph

Describes a project that uses

Uses Software

• Maude

This page was built for publication: On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs

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