Logical Time for Reactive Software

Author(s): Lohstroh, Marten and Lee, Edward A. and Edwards, Stephen A. and Broman, David

Citation
Lohstroh, Marten and Lee, Edward A. and Edwards, Stephen A. and Broman, David. "Logical Time for Reactive Software". Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA, May 9 2023.

Abstract
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.

Electronic Downloads

• https://doi.org/10.1145/3576914.3587494

---

Citation Formats

• HTML
  

                  
  Lohstroh, Marten and Lee, Edward A. and Edwards, Stephen A. and Broman, David.
  "<a href="https://www.icyphy.org/publications/2023_LohstrohEtAl_Time/">Logical Time for Reactive Software</a>".
  <i>Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA</i>, May 9 2023.
                  
                  

• Plain Text
  

                  
  Lohstroh, Marten and Lee, Edward A. and Edwards, Stephen A. and Broman, David.
  "Logical Time for Reactive Software".
  Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA, May 9 2023.
                  
                  

• BibTeX
  

                      
  @inproceedings{LohstrohEtAl:23:Time,
  	author = {Lohstroh, Marten and Lee, Edward A. and Edwards, Stephen A. and Broman, David},
  	title = {Logical Time for Reactive Software},
  	booktitle = {Workshop on Time-Centric Reactive Systems (TCRS), CPS-IoT Week Workshops, San Antonio, TX, USA},
  	month = {May 9},
  	year = {2023},
  	doi = {10.1145/3576914.3587494},
  	abstract = {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.},
  	URL = {https://www.icyphy.org/publications/2023_LohstrohEtAl_Time/}
  }