Pages that link to "Item:Q2193294"
From MaRDI portal
The following pages link to On the axiomatisability of priority. III: Priority strikes again (Q2193294):
Displaying 5 items.
- On the axiomatizability of priority. II (Q549169) (← links)
- Bisimilarity is not finitely based over BPA with interrupt (Q860878) (← links)
- On the expressibility of priority (Q975534) (← 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)