The following pages link to (Q4312484):
Displaying 12 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Confluence for process verification (Q672042) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- Equivalence of recursive specifications in process algebra (Q1607118) (← links)
- Proof systems for message-passing process algebras (Q1815341) (← links)
- Computable processes and bisimulation equivalence (Q2365394) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
- The parallel composition of uniform processes with data (Q5958772) (← links)