Pages that link to "Item:Q3655135"
From MaRDI portal
The following pages link to A Higher-Order Graph Calculus for Autonomic Computing (Q3655135):
Displaying 7 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- Labelled graph strategic rewriting for social networks (Q2413024) (← links)
- Labelled Graph Rewriting Meets Social Networks (Q2827834) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
