Similar Items: A Denotational Semantics for SPARC TSO
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus
- Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
- TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
- A categorical semantics for causal structure
- Initial Semantics for Reduction Rules
- Explicit fairness in testing semantics