Logical time for reactive software
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023•dl.acm.org
Timing is an essential feature of reactive software. It is not just a performance metric, but
rather forms a core part of the semantics of programs. This paper argues for a notion of
logical time that serves as an engineering model to complement a notion of physical time,
which models the physical passage of time. Programming models that embrace logical time
can provide deterministic concurrency, better analyzability, and practical realizations of
timing-sensitive applications. We give definitions for physical and logical time and review …
rather forms a core part of the semantics of programs. This paper argues for a notion of
logical time that serves as an engineering model to complement a notion of physical time,
which models the physical passage of time. Programming models that embrace logical time
can provide deterministic concurrency, better analyzability, and practical realizations of
timing-sensitive applications. We give definitions for physical and logical time and review …
Timing is an essential feature of reactive software. It is not just a performance metric, but rather forms a core part of the semantics of programs. This paper argues for a notion of logical time that serves as an engineering model to complement a notion of physical time, which models the physical passage of time. Programming models that embrace logical time can provide deterministic concurrency, better analyzability, and practical realizations of timing-sensitive applications. We give definitions for physical and logical time and review some languages and formalisms that embrace logical time.
ACM Digital Library
Showing the best result for this search. See all results