The following pages link to (Q3086785):
Displaying 9 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- The proof monad (Q974136) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- (Q3336739) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- Determinancy with Complicated Strategies (Q3715108) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)