Real-Time Behavior of Programs

DOI10.1109/TSE.1981.231111zbMath0469.68032OpenAlexW2102951280MaRDI QIDQ3923588

Volkmar H. Haase

Publication date: 1981

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1981.231111

zbMATH Keywords

process controlguarded commandsparallel processesdeadline schedulingreal-time programming

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (1)

An introduction to compositional methods for concurrency and their application to real-time.

This page was built for publication: Real-Time Behavior of Programs