Similar Items: From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
- Thin Games with Symmetry and Concurrent Hyland-Ong Games
- A duality theoretic view on limits of finite structures: Extended version
- TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
- Recursive Concurrent Stochastic Games
- Categorical composable cryptography: extended version
- Hilbert's Tenth Problem in Coq (Extended Version)