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
• scientific article; zbMATH DE number 1418368

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
• scientific article; zbMATH DE number 1222590 (Why is no real title available?)
• scientific article; zbMATH DE number 1231482 (Why is no real title available?)
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• scientific article; zbMATH DE number 1418365 (Why is no real title available?)
• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• 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)