The following pages link to PORGY (Q18989):
Displaying 13 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)
- Labelled Graph Rewriting Meets Social Networks (Q2827834) (← links)
- Realizing Monads in Interaction Nets via Generic Typed Rules (Q2898063) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- A Software Package for Chemically Inspired Graph Transformation (Q3187804) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- (Q4964704) (← links)
- (Q5013889) (← links)