The following pages link to (Q4964704):
Displaying 11 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- A framework for the analysis of access control policies with emergency management (Q530851) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- A graph-based framework for the analysis of access control policies (Q2358699) (← links)
- Labelled graph strategic rewriting for social networks (Q2413024) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- (Q5013889) (← links)
- A Port Graph Rewriting Approach to Relational Database Modelling (Q5097637) (← links)
- QMaude: quantitative specification and verification in rewriting logic (Q6174537) (← links)