scientific article; zbMATH DE number 969071
From MaRDI portal
Publication:5284549
zbMath0866.68056MaRDI QIDQ5284549
Reiko Heckel, Hartmut Ehrig, Michael Löwe, Andrea Corradini
Publication date: 22 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (5)
Amalgamation of domain specific languages with behaviour ⋮ Unfolding semantics of graph transformation ⋮ Unnamed Item ⋮ Towards a Notion of Transaction in Graph Rewriting ⋮ Formal software specification with refinements and modules of typed graph transformation systems
This page was built for publication:
