Encoding bigraphical reactive systems into graph transformation systems

DOI10.1016/J.ENDM.2016.10.051MaRDI QIDQ511000zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 5604061 (Why is no real title available?)
• scientific article; zbMATH DE number 1189283 (Why is no real title available?)
• Fundamentals of algebraic graph transformation
• The Space and Motion of Communicating Agents

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)