The following pages link to Solving recursive net equations (Q4645215):
Displaying 5 items.
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- A refined view of the box algebra (Q5096357) (← links)
- Petri boxes and finite precedence (Q6162099) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)