Similar Items: Distributed Asynchronous Games With Causal Memory are Undecidable
- Undecidable First-Order Theories of Affine Geometries
- Undecidability of a weak version of MSO+U
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
- Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
- Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
- HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder