Computing Embeddings of Directed Bigraphs

DOI10.1007/978-3-030-51372-6_3zbMath1502.68217OpenAlexW3038119689MaRDI QIDQ5100725

Marino Miculan, Marco Peressotti, Alessio Chiapperini

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)

Uses Software

• Dbtk
• GitHub

Cites Work

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

This page was built for publication: Computing Embeddings of Directed Bigraphs