The following pages link to (Q4222796):
Displayed 18 items.
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- Graph-based specification of access control policies (Q2486563) (← links)
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- High-Level Programs and Program Conditions (Q3540400) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Pattern-Based Model-to-Model Transformation (Q3540416) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Graph Transformations for the Specification of Access Control Policies (Q4923543) (← links)
- Visual Modeling of Distributed Object Systems by Graph Transformation (Q4923550) (← links)
- (Q5020535) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
- A Formal Model for Role-Based Access Control Using Graph Transformation (Q5862299) (← links)