TY  - RPRT
TI  - Episodic Loops: Finitary Event Structures and Operational Semantics for C11 Programs with Retries
AU  - Christian Kissig
AU  - Jay Richards
AU  - Mark Batty
PY  - 2026
UR  - https://arxiv.org/abs/2609.34646
ID  - 2609.34646
ER  -