Pages that link to "Item:Q969643"
From MaRDI portal
The following pages link to Lifting non-finite axiomatizability results to extensions of process algebras (Q969643):
Displayed 4 items.
- The equational theory of prebisimilarity over basic CCS with divergence (Q975471) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)