Pages that link to "Item:Q2486563"
From MaRDI portal
The following pages link to Graph-based specification of access control policies (Q2486563):
Displayed 12 items.
- Symbolic graphs for attributed graph constraints (Q631573) (← 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)
- Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (Q2864377) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- High-Level Programs and Program Conditions (Q3540400) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)