Pages that link to "Item:Q5056368"
From MaRDI portal
The following pages link to Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368):
Displaying 3 items.
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction (Q6163879) (← links)