The following pages link to A Generic Process Algebra (Q5262952):
Displaying 3 items.
- Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time (Q2870192) (← links)
- A ground-complete axiomatisation of finite-state processes in a generic process algebra (Q3545273) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
