Superposition and fairness in reactive system refinement | IEEE Conference Publication | IEEE Xplore

Superposition and fairness in reactive system refinement


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 a...Show More

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.<>
Date of Conference: 22-25 October 1990
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-2078-1
Conference Location: Jerusalem, Israel

References

References is not available for this document.