Pages that link to "Item:Q5458057"
From MaRDI portal
The following pages link to On the axiomatisability of priority (Q5458057):
Displaying 9 items.
- On the axiomatizability of priority. II (Q549169) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Priority Arguments and Epsilon Substitutions (Q3001108) (← links)
- (Q4413843) (← links)
- (Q4946094) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)