Computing embeddings of directed bigraphs

DOI10.1007/978-3-030-51372-6_3zbMATH Open1502.68217OpenAlexW3038119689MaRDI QIDQ5100725FDOQ5100725

Authors: Alessio Chiapperini, Marino Miculan, Marco Peressotti 

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_3

Recommendations

• Directed bigraphs
• An algebra for directed bigraphs
• Pure bigraphs: structure and dynamics
• Reactive Systems over Directed Bigraphs
• Bigraphs and their algebra

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Cites Work

• The Space and Motion of Communicating Agents
• Formal Cellular Machinery
• Stochastic Bigraphs
• Bigraphs and transitions
• Bigraphs with sharing
• An algebra for directed bigraphs
• Reactive Systems over Directed Bigraphs
• Executing bigraphical reactive systems
• An inductive characterization of matching in binding bigraphs
• Finding a Forest in a Tree
• \textsf{DBtk}: a toolkit for directed bigraphs
• Directed Bigraphs
• Security, Cryptography and Directed Bigraphs

Cited In (2)

• \textsf{DBtk}: a toolkit for directed bigraphs
• Matching of bigraphs

Uses Software

• Dbtk
• GitHub

This page was built for publication: Computing embeddings of directed bigraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100725)