DocumentCode
2759777
Title
Superposition and fairness in reactive system refinement
Author
Back, R.J.R. ; Kurki-Suonio, R.
Author_Institution
Abo Akademi Univ. Turqu, Finland
fYear
1990
fDate
22-25 Oct 1990
Firstpage
162
Lastpage
172
Abstract
An overview of the refinement calculus and of the action system paradigm for constructing parallel and reactive systems is given. Superposition is studied in detail, as an example of an important method for refinement of reactive programs. In connection with superposition, fairness of action system execution is considered, and a proof rule for preserving fairness in superposition refinement is given
Keywords
program verification; programming theory; fairness; proof rule; reactive programs; reactive system refinement; refinement calculus; superposition; Calculus; Transformers;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location
Jerusalem
Print_ISBN
0-8186-2078-1
Type
conf
DOI
10.1109/JCIT.1990.128282
Filename
128282
Link To Document