Similar Items: Disentangling Parallelism and Interference in Game Semantics
- Game semantics for first-order logic
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus
- Degree of Interference: A General Framework For Causal Inference Under Interference
- Semi-Supervised and Disentangled Causal Discovery for Analyzing Fault Propagation in Microservices
- TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
- Stashing And Parallelization Pentagons