A methodology for programming with concurrency

Christian Lengauer. A methodology for programming with concurrency. PhD thesis, University of Toronto, Canada, 1982. [doi]

Abstract

Abstract is missing.