Strongly-Consistent Distributed Discrete-event Systems. - Peter Donovan; Erling Rennemo Jellum; Byeong-Gil Jun; Hokeun Kim; Edward A. Lee; Shaokai Lin; Marten Lohstroh; Anirudh Rengarajan (CoRR, 2024)