Pages that link to "Item:Q1399968"
From MaRDI portal
The following pages link to General parameterised refinement and recursion for the M-net calculus (Q1399968):
Displayed 4 items.
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- M-nets: a survey (Q1006339) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)