scientific article; zbMATH DE number 969071

MaRDI QIDQ5284549zbMATH OpenFDO

Authors R. Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe

Publication date 22 January 1997

zbMATH Keywords

graph transformation systemsvertical structuring

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1231482
• Fundamentals of algebraic graph transformation
• Multilevel typed graph transformations
• Refinements and modules for typed graph transformation systems

Cited in

(14)

• Formal software specification with refinements and modules of typed graph transformation systems
• Transformation of typed composite graphs with inheritance and containment structures
• Amalgamation of domain specific languages with behaviour
• Spatial and temporal refinement of typed graph transformation systems
• scientific article; zbMATH DE number 1231482 (Why is no real title available?)
• Confluence of typed attributed graph transformation systems
• An algebra of graph derivations using finite (co-) limit double theories
• Refinements and modules for typed graph transformation systems
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• Multilevel typed graph transformations
• GTS families for the flexible composition of graph transformation systems
• Graph Transformations
• Towards a notion of transaction in graph rewriting
• Unfolding semantics of graph transformation

This page was built for publication:

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