Directed Bigraphs

DOI10.1016/J.ENTCS.2007.02.031zbMATH Open1316.68093OpenAlexW2912052495MaRDI QIDQ5262934FDOQ5262934

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

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)

Cites Work

• Foundations of Software Science and Computation Structures
• Pure bigraphs: structure and dynamics
• Title not available (Why is that?)
• Transition systems, link graphs and Petri nets
• Title not available (Why is that?)
• Algebra and Coalgebra in Computer Science
• From rewrite rules to bisimulation congruences
• Deriving bisimulation congruences: a 2-categorical approach
• Directed Bigraphs

Cited In (9)

• Computing Embeddings of Directed Bigraphs
• DBtk: A Toolkit for Directed Bigraphs
• An algebra for directed bigraphs
• A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
• Directed Bigraphs
• Security, Cryptography and Directed Bigraphs
• Bigraphs with sharing
• Title not available (Why is that?)
• Title not available (Why is that?)

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)