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

Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10) 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
• Publication:4941931

Cited in

(12)

• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• GTS families for the flexible composition of graph transformation systems
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• Unfolding semantics of graph transformation
• Transformation of typed composite graphs with inheritance and containment structures
• Towards a notion of transaction in graph rewriting
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• Amalgamation of domain specific languages with behaviour
• Graph Transformations
• Multilevel typed graph transformations
• scientific article; zbMATH DE number 1418365 (Why is no real title available?)
• Formal software specification with refinements and modules of typed graph transformation systems

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)