Pages that link to "Item:Q5277824"
From MaRDI portal
The following pages link to A finite equational base for CCS with left merge and communication merge (Q5277824):
Displayed 11 items.
- Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Honesty by Typing (Q2974791) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- (Q5015359) (← links)
- (Q5028469) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- (Q5089283) (← links)
- Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction (Q6163879) (← links)