kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Logical Time for Reactive Software
University of California, Berkeley, USA.
University of California, Berkeley, USA.
Columbia University, New York, NY, USA.
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Software and Computer systems, SCS.ORCID iD: 0000-0001-8457-4105
Number of Authors: 42023 (English)In: Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023: Workshops, Association for Computing Machinery (ACM) , 2023, p. 313-318Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM) , 2023. p. 313-318
Keywords [en]
programming model, reactive systems, software, timing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-333297DOI: 10.1145/3576914.3587494ISI: 001054880600055Scopus ID: 2-s2.0-85159781950OAI: oai:DiVA.org:kth-333297DiVA, id: diva2:1784965
Conference
2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023, San Antonio, United States of America, May 9 2023 - May 12 2023
Note

Part of ISBN 9798400700491

QC 20230801

Available from: 2023-08-01 Created: 2023-08-01 Last updated: 2023-10-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Broman, David

Search in DiVA

By author/editor
Broman, David
By organisation
Software and Computer systems, SCS
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 76 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf