The Community for Technology Leaders
Green Image
ABSTRACT
<p>Some basic semantic issues of a language for a reliable and provably correct real-time programs are discussed. The language is based on E.W. Dijkstra's guarded commands and on a proposal by V.H. Haase (1981). Haase's proposal is assessed, its semantic consistencies are shown, and corrections are proposed that give a sound basis for a real-time language based on guarded commands.</p>
INDEX TERMS
real-time behavior; concurrent programs; semantic issues; real-time programs; guarded commands; real-time language; formal languages; high level languages; parallel programming; program verification; programming theory; real-time systems.
CITATION
D. Mandrioli, C. Ghezzi, A. Fuggetta, "Some Consideration on Real-Time Behavior of Concurrent Programs", IEEE Transactions on Software Engineering, vol. 15, no. , pp. 356-359, March 1989, doi:10.1109/32.21763
97 ms
(Ver 3.1 (10032016))