A methodolgy for programming with concurrency

Christian Lengauer, Eric C. R. Hehner. A methodolgy for programming with concurrency. In Wolfgang Händler, editor, CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings. Volume 111 of Lecture Notes in Computer Science, pages 259-270, Springer, 1981.

Abstract

Abstract is missing.