Specification of Synchronizing Processes

Krithi Ramamritham, Robert M. Keller. Specification of Synchronizing Processes. IEEE Trans. Software Eng., 9(6):722-733, 1983.

Abstract

Abstract is missing.