Logical Synchrony Networks: A Formal Model for Deterministic Distribution. - Logan Kenwright; Partha S. Roop; Nathan Allen; Sanjay Lall; Calin Cascaval; Tammo Spalink; Martin Izzard (IEEE Access, 2024)

Timetide: A programming model for logically synchronous distributed systems. - Logan Kenwright; Partha S. Roop; Nathan Allen; Calin Cascaval; Avinash Malik (CoRR, 2025)