On The Design Of Concurrent Programs
Eric C. R. Hehner · INFOR Information Systems and Operational Research · 1980
By developing a concurrent program from a sequential one in the form of recursive refinement, we gain three benefits. The methodological benefit is that we proceed 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.