Matching of bigraphs

DOI10.1016/J.ENTCS.2007.04.013MaRDI QIDQ2867883zbMATH OpenOpenAlexWikidataFDO

Authors Troels Christoffer Damgaard, Arne John Glenstrup, Lars Birkedal, Robin Milner

Publication date 20 December 2013

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.04.013

zbMATH Keywords

matchingbigraphsbigraphical reactive systemscomplete inductive characterization

Mathematics Subject Classification ID

Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An inductive characterization of matching in binding bigraphs
• Conditional bigraphs
• Bigraphs with sharing
• Computing embeddings of directed bigraphs
• Executing bigraphical reactive systems

Cites work

• scientific article; zbMATH DE number 1820633 (Why is no real title available?)
• An Algorithm for Subgraph Isomorphism
• Axiomatizing binding bigraphs
• Axioms for bigraphical structure
• Constraint satisfaction algorithms for graph pattern matching
• Directed Graph Pattern Matching and Topological Embedding
• Faster Subtree Isomorphism
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Pure bigraphs: structure and dynamics
• Sortings for Reactive Systems
• The tree-to-tree editing problem
• Transition systems, link graphs and Petri nets

Cited in

(7)

• Kind Bigraphs
• scientific article; zbMATH DE number 2155177 (Why is no real title available?)
• Stochastic bigraphs
• \textsf{DBtk}: a toolkit for directed bigraphs
• An inductive characterization of matching in binding bigraphs
• Bigraphs with sharing
• An algebra for directed bigraphs

This page was built for publication: Matching of bigraphs

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