Pages that link to "Item:Q1607118"
From MaRDI portal
The following pages link to Equivalence of recursive specifications in process algebra (Q1607118):
Displaying 12 items.
- A note on the notation of recursion in process algebras (Q751295) (← links)
- Recursive process definitions with the state operator (Q758198) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- A decision procedure for semantical equivalence of thin FM specifications (Q1818643) (← links)
- (Q2736352) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- Equivalence of Processes in Partially Commutative Object-Oriented Environments (Q3084991) (← links)
- (Q4703884) (← links)
- Programming Languages and Systems (Q5464037) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
- Underspecification for a simple process algebra of recursive processes. (Q5958781) (← links)