3 papers
cs.LO2026
Synchronous Observers Revisited for Runtime Verification of Lustre Using STL
Logan Kenwright, Partha Roop, Sobhan Chatterjee +1
Signal Temporal Logic (STL) is a popular formalism for the temporal safety properties of cyber-physical systems, most often used for runtime verification. In the synchronous family…
cs.PL2025
Timetide: A programming model for logically synchronous distributed systems
Logan Kenwright, Partha Roop, Nathan Allen +2
Massive strides in deterministic models have been made using synchronous languages. They are mainly focused on centralised applications, as the traditional approach is to compile a…
cs.DC2024
Logical Synchrony Networks: A formal model for deterministic distribution
Logan Kenwright, Partha Roop, Nathan Allen +4
Kahn Process Networks (KPNs) are a deterministic Model of Computation (MoC) for distributed systems. KPNs supports non-blocking writes and blocking reads, with the consequent assum…