Pages that link to "Item:Q5415656"
From MaRDI portal
The following pages link to A Rewriting Calculus for Multigraphs with Ports (Q5415656):
Displaying 7 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Labelled graph strategic rewriting for social networks (Q2413024) (← links)
- Labelled Graph Rewriting Meets Social Networks (Q2827834) (← links)
- Visual Theorem Proving with the Incredible Proof Machine (Q2829254) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
