Logical Time for Reactive Software

Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman. Logical Time for Reactive Software. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023. pages 313-318, ACM, 2023. [doi]

Abstract

Abstract is missing.