Pages that link to "Item:Q3196348"
From MaRDI portal
The following pages link to On the Axiomatizability of Impossible Futures (Q3196348):
Displaying 4 items.
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363) (← links)
- A Peculiar Connection Between the Axiom of Choice and Predicting the Future (Q3505009) (← links)
- Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction (Q6163879) (← links)