Pages that link to "Item:Q758198"
From MaRDI portal
The following pages link to Recursive process definitions with the state operator (Q758198):
Displaying 5 items.
- Recursive process definitions with the state operator (Q758198) (← links)
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Decidability of bisimulation equivalence for normed pushdown processes (Q1276237) (← links)
- Modular specification of process algebras (Q1802074) (← links)
