Exploiting user-definable synchronizations in graph transformation

DOI10.1016/J.ENTCS.2008.04.027MaRDI QIDQ5404173zbMATH OpenOpenAlexFDO

Authors Ivan Lanese

Publication date 21 March 2014

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

zbMATH Keywords

mobilitygraph transformationsynchronization algebrassynchronized hyperedge replacement

Mathematics Subject Classification ID

Hypergraphs (05C65) Grammars and rewriting systems (68Q42)

Recommendations

• Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
• Publication:4890716
• Synchronization algebras with mobility for graph transformations
• scientific article; zbMATH DE number 3907796
• Synchronized composition of graph grammar productions

Cites work

• scientific article; zbMATH DE number 1951128 (Why is no real title available?)
• scientific article; zbMATH DE number 2044490 (Why is no real title available?)
• scientific article; zbMATH DE number 2050829 (Why is no real title available?)
• scientific article; zbMATH DE number 1863162 (Why is no real title available?)
• Global Computing
• Synchronization algebras with mobility for graph transformations
• Synchronization trees

Cited in

(1)

• Synchronization algebras with mobility for graph transformations

This page was built for publication: Exploiting user-definable synchronizations in graph transformation

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