Pages that link to "Item:Q860878"
From MaRDI portal
The following pages link to Bisimilarity is not finitely based over BPA with interrupt (Q860878):
Displaying 5 items.
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- On the axiomatisability of priority. III: Priority strikes again (Q2193294) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- On the axiomatisability of priority (Q5458057) (← links)
