Pages that link to "Item:Q1763725"
From MaRDI portal
The following pages link to CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725):
Displaying 6 items.
- Bisimilarity is not finitely based over BPA with interrupt (Q860878) (← links)
- Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
