Refinement Calculus, Part II: Parallel and Reactive Programs

@inproceedings{Back1989RefinementCP,
  title={Refinement Calculus, Part II: Parallel and Reactive Programs},
  author={R. Back},
  booktitle={REX Workshop},
  year={1989}
}
  • R. Back
  • Published in REX Workshop 1989
  • Computer Science
  • It is shown how to apply the refinement calculus to stepwise refinement of both parallel programs and reactive programs. The approach is based on using the action systems model to describe parallel and reactive systems. Action systems are sequential programs which can be implemented in a parallel fashion. Hence the refinement calculus for sequential programs carries over to the parallel programs expressed in this framework. Refinement of reactive programs can be expressed and proved in the… CONTINUE READING
    279 Citations

    Topics from this paper

    Refinement of Parallel and Reactive Programs
    • R. Back
    • Computer Science
    • NATO ASI PDC
    • 1992
    • 37
    • PDF
    Refinement and Continuous Behaviour
    • 11
    Trace Refinement of Action Systems
    • 181
    Introducing parallel composition to the timed refinement calculus
    • 1
    • PDF
    Refinement calculus of reactive systems
    • 26
    • PDF
    Data Refinement and Remote Procedures
    • 13
    • Highly Influenced
    Data Refinement of Remote Procedures
    • 32
    • Highly Influenced
    From Action Systems to Modular Systems
    • 92
    • PDF
    Superposition and fairness in reactive system refinement
    • R. Back, R. Kurki-Suonio
    • Computer Science
    • Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'
    • 1990
    • 7
    Event-B Decomposition for Parallel Programs
    • 29
    • PDF

    References

    SHOWING 1-10 OF 26 REFERENCES
    Stepwise Refinement of Action Systems
    • 208
    On the design of reactive systems
    • 14
    Distributed cooperation with action systems
    • 308
    A Relational Notation for State Transition Systems
    • 68
    How to cook a temporal proof system for your pet language
    • 246
    Decentralization of process nets with centralized control
    • 200
    Action system approach to the specification and design of distributed systems
    • 35
    • PDF
    FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS
    • 38
    • PDF
    Communicating sequential processes
    • 11,965
    • PDF
    A simple approach to specifying concurrent systems
    • 299
    • PDF