Encoding bigraphical reactive systems into graph transformation systems

DOI10.1016/J.ENDM.2016.10.051zbMATH Open1356.05108OpenAlexW2556540294MaRDI QIDQ511000FDOQ511000

Authors: Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Kalil Drira 

Publication date: 14 February 2017

Full work available at URL: https://doi.org/10.1016/j.endm.2016.10.051

Recommendations

• Executing bigraphical reactive systems
• scientific article; zbMATH DE number 1863157
• Reactive Systems over Directed Bigraphs
• scientific article; zbMATH DE number 2155177
• Security, Cryptography and Directed Bigraphs

zbMATH Keywords

matchingbigraphsBRS

Mathematics Subject Classification ID

Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Grammars and rewriting systems (68Q42)

Cites Work

• The Space and Motion of Communicating Agents
• Fundamentals of algebraic graph transformation
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Executing bigraphical reactive systems

This page was built for publication: Encoding bigraphical reactive systems into graph transformation systems

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