DocumentCode
909603
Title
Some consideration on real-time behavior of concurrent programs
Author
Fuggetta, Alfonso ; Ghezzi, Carlo ; Mandrioli, Dino
Author_Institution
CEFRIEL, Milan, Italy
Volume
15
Issue
3
fYear
1989
fDate
3/1/1989 12:00:00 AM
Firstpage
356
Lastpage
359
Abstract
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
Keywords
formal languages; high level languages; parallel programming; program verification; programming theory; real-time systems; concurrent programs; guarded commands; real-time behavior; real-time language; real-time programs; semantic issues; Formal specifications; Helium; Production; Proposals; Real time systems;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.21763
Filename
21763
Link To Document