A Technique for Decomposing Algorithms Which Use a Single Shared Variable

Nancy A. Lynch, Michael J. Fischer. A Technique for Decomposing Algorithms Which Use a Single Shared Variable. J. Comput. Syst. Sci., 27(3):350-377, 1983.

Abstract

Abstract is missing.