Sequential Composition

The implementation of a large system is generally obtained in many stages, by successive refinement of the specification, introducing more and more detail. This is performed by taking a sequential composition of many small refinements. Each stage may itself correspond to a parallel composition of refinements on component specifications. A large refinement will usually intermix parallel and sequential refinements.