The following pages link to (Q3485879):
Displaying 12 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Process algebra with language matching (Q1391794) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- A partial order approach to branching time logic model checking. (Q1854268) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Computable processes and bisimulation equivalence (Q2365394) (← links)
- Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196) (← links)
- Design and analysis of dynamic leader election protocols in broadcast networks (Q5137017) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
