Parameterized transformation units

DOI10.1016/S1571-0661(04)80207-XMaRDI QIDQ4923545zbMATH OpenFDO

Authors Sabine Kuske

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80207-X

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2016077
• Graph transformation units with interleaving semantics
• scientific article; zbMATH DE number 1629837
• On the interleaving semantics of transformation units -- a step into GRACE
• Graph Transformations

Cites work

• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformat
• Graph transformation for specification and programming
• Graph transformation units with interleaving semantics
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1629840 (Why is no real title available?)
• scientific article; zbMATH DE number 1629841 (Why is no real title available?)
• scientific article; zbMATH DE number 1231507 (Why is no real title available?)
• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• On the interleaving semantics of transformation units -- a step into GRACE
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Programmed graph transformations and graph transformation units in GRACE

Cited in

(8)

• Graph transformation units with interleaving semantics
• scientific article; zbMATH DE number 1629837 (Why is no real title available?)
• Undecidable control conditions in graph transformation units
• Graph Transformation Units – An Overview
• On the interleaving semantics of transformation units -- a step into GRACE
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Graph transformation units guided by a SAT solver
• Graph Transformations

Describes a project that uses

Uses Software

• PROGRES
• DIEGO

This page was built for publication: Parameterized transformation units

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