Superposition and fairness in reactive system refinement
R. J. R. Back, Reino Kurki-Suonio · 2002
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.>