ON THE DESIGN OF CONCURRENT PROGRAMS.

Three benefits are gained by developing a concurrent program from a sequential one in the form of recursive refinement. The methodological benefit is that one procedds in small steps from an understood sequential program. The correctness benefit is that the program is starvation-free without appealing to a fair scheduler. The efficiency benefit is that less mutual exclusion is required than with other concurrent programming methods.