Pages that link to "Item:Q1763725"

The following pages link to CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725):

Displaying 9 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)
• (Q5015359) (← links)
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
• The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
• On the axiomatisability of priority (Q5458057) (← links)