TY - RPRT TI - Timetide: A programming model for logically synchronous distributed systems AU - Logan Kenwright AU - Partha Roop AU - Nathan Allen AU - Călin Caşcaval AU - Avinash Malik PY - 2025 UR - https://arxiv.org/abs/2507.14471 ID - 2507.14471 ER -