scientific article; zbMATH DE number 969071

zbMATH Open0866.68056MaRDI QIDQ5284549FDOQ5284549

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

Publication date: 22 January 1997

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1231482
• Fundamentals of algebraic graph transformation
• Multilevel typed graph transformations
• Publication:4941931

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)

Cited In (12)

• Title not available (Why is that?)
• GTS families for the flexible composition of graph transformation systems
• Title not available (Why is that?)
• Unfolding semantics of graph transformation
• Transformation of typed composite graphs with inheritance and containment structures
• Towards a notion of transaction in graph rewriting
• Title not available (Why is that?)
• Graph Transformations
• Amalgamation of domain specific languages with behaviour
• Multilevel typed graph transformations
• Title not available (Why is that?)
• 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)