scientific article; zbMATH DE number 1231489

zbMath0910.68154MaRDI QIDQ4222796

Reiko Heckel, Annika Wagner

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#heckel

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic graph transformations

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Related Items (18)

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation ⋮ On the Specification and Verification of Model Transformations ⋮ Attributed graph transformation with node type inheritance ⋮ Specifying graph languages with type graphs ⋮ Unnamed Item ⋮ High-Level Programs and Program Conditions ⋮ Attributed Graph Constraints ⋮ Resolution-Like Theorem Proving for High-Level Conditions ⋮ Pattern-Based Model-to-Model Transformation ⋮ Development of Correct Graph Transformation Systems ⋮ A navigational logic for reasoning about graph properties ⋮ Graph Transformations for the Specification of Access Control Policies ⋮ Visual Modeling of Distributed Object Systems by Graph Transformation ⋮ Graph-based specification of access control policies ⋮ Reasoning with graph constraints ⋮ A Logic of Graph Constraints ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ A Formal Model for Role-Based Access Control Using Graph Transformation

This page was built for publication: