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

distributed systemsreactive systemscategorical modelsconcurrent systemsmobile systemsbigraphical models

Mathematics Subject Classification ID

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

• 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

• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• 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
• Pure bigraphs: structure and dynamics
• Transition systems, link graphs and Petri nets

Cited in

(12)

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

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)