The following pages link to (Q3395976):
Displaying 5 items.
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
