Toward a discipline of real-time programming

DOI10.1145/359763.359798zbMath0362.68043OpenAlexW2138130652MaRDI QIDQ4136526

Niklaus Wirth

Publication date: 1977

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359763.359798

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items

Formal timing analysis for distributed real-time programs, Specification and analysis of timing requirements for real-time systems in the CBD approach, Monitors with associated processors, Prozessorzuteilung unter strengen Zeitbedingungen, Refinement of time