scientific article
From MaRDI portal
Publication:3751030
zbMath0611.68045MaRDI QIDQ3751030
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallelismgraph morphismsgraph grammarsgraph transformationsgraph languagesChurch-Rosserproductionsconcrete context conditions
Related Items (14)
On the Specification and Verification of Model Transformations ⋮ Single pushout transformations of equationally defined graph structures with applications to actor systems ⋮ On the expressive power of algebraic graph grammars with application conditions ⋮ Transformation of variants of Petri nets into context-dependent fusion grammars ⋮ Initial Conflicts for Transformation Rules with Nested Application Conditions ⋮ Symbolic graphs for attributed graph constraints ⋮ Attributed Graph Constraints ⋮ On the interleaving semantics of transformation units — A step into GRACE ⋮ Graph grammars according to the type of input and manipulated data: a survey ⋮ A navigational logic for reasoning about graph properties ⋮ Reasoning with graph constraints ⋮ A Logic of Graph Constraints ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ Amalgamation of graph transformations: a synchronization mechanism
This page was built for publication:
