Title :
Superposition and fairness in reactive system refinement
Author :
Back, R.J.R. ; Kurki-Suonio, R.
Author_Institution :
Abo Akademi Univ. Turqu, Finland
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;
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
DOI :
10.1109/JCIT.1990.128282
