Computing embeddings of directed bigraphs

DOI10.1007/978-3-030-51372-6_3MaRDI QIDQ5100725zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

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

Cited in

(3)

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

Describes a project that uses

Uses Software

• GitHub
• Dbtk

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)