Directed Bigraphs

DOI10.1016/j.entcs.2007.02.031zbMath1316.68093OpenAlexW2912052495MaRDI QIDQ5262934

Marino Miculan, Davide Grohmann

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

concurrent systemsdistributed systemscategorical modelsreactive systemsmobile systemsbigraphical models

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

Related Items (8)

DBtk: A Toolkit for Directed Bigraphs ⋮ Computing Embeddings of Directed Bigraphs ⋮ A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs ⋮ Security, Cryptography and Directed Bigraphs ⋮ Unnamed Item ⋮ Bigraphs with sharing ⋮ Directed Bigraphs ⋮ An Algebra for Directed Bigraphs

Cites Work

• Unnamed Item
• Unnamed Item
• Pure bigraphs: structure and dynamics
• Deriving Bisimulation Congruences: A 2-categorical Approach
• Transition systems, link graphs and Petri nets
• Directed Bigraphs
• Foundations of Software Science and Computation Structures
• Algebra and Coalgebra in Computer Science
• From rewrite rules to bisimulation congruences

This page was built for publication: Directed Bigraphs