• DOI:10.1007/3-540-52559-9_61
Corpus ID: 34760665

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

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed