The following pages link to A Generic Process Algebra (Q5262952):
Displaying 5 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- 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)
- (Q4493213) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)