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]

@inproceedings{LohstrohLEB23,
  title = {Logical Time for Reactive Software},
  author = {Marten Lohstroh and Edward A. Lee and Stephen A. Edwards and David Broman},
  year = {2023},
  doi = {10.1145/3576914.3587494},
  url = {https://doi.org/10.1145/3576914.3587494},
  researchr = {https://researchr.org/publication/LohstrohLEB23},
  cites = {0},
  citedby = {0},
  pages = {313-318},
  booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023},
  publisher = {ACM},
}