DBtk: A Toolkit for Directed Bigraphs
From MaRDI portal
Publication:2888502
DOI10.1007/978-3-642-03741-2_28zbMath1239.68055OpenAlexW1625183863MaRDI QIDQ2888502
Giorgio Bacci, Marino Miculan, Davide Grohmann
Publication date: 1 June 2012
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_28
Related Items
Computing Embeddings of Directed Bigraphs ⋮ A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs ⋮ Formal Cellular Machinery ⋮ Bigraphs with sharing
Uses Software
Cites Work