Directed Bigraphs
From MaRDI portal
Publication:5262934
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
concurrent systemsdistributed systemscategorical modelsreactive systemsmobile systemsbigraphical models
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