Directed bigraphs

DOI10.1016/J.ENTCS.2007.02.031MaRDI QIDQ5262934zbMATH OpenOpenAlexFDO

Authors Davide Grohmann, Marino Miculan

Publication date 10 July 2015

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.2007.02.031

zbMATH Keywords

bigraphical modelscategorical modelsconcurrent systemsdistributed systemsmobile systemsreactive systems

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) 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

• Reactive Systems over Directed Bigraphs
• Computing embeddings of directed bigraphs
• An algebra for directed bigraphs
• Pure bigraphs: structure and dynamics
• scientific article; zbMATH DE number 1863157

Cites work

• Algebra and Coalgebra in Computer Science
• Deriving bisimulation congruences: a 2-categorical approach
• Directed bigraphs
• Foundations of Software Science and Computation Structures
• From rewrite rules to bisimulation congruences
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• Pure bigraphs: structure and dynamics
• Transition systems, link graphs and Petri nets

Cited in

(13)

• Bigraphs with sharing
• Bigraphical semantics of higher-order mobile embedded resources with local names
• An algebra for directed bigraphs
• \textsf{DBtk}: a toolkit for directed bigraphs
• Reactive Systems over Directed Bigraphs
• Security, Cryptography and Directed Bigraphs
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• Computing embeddings of directed bigraphs
• On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
• Directed bigraphs
• scientific article; zbMATH DE number 7324139 (Why is no real title available?)
• A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
• Modelling real-time systems with bigraphs

This page was built for publication: Directed bigraphs

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