Implementation of a Transition Sematics for Parallel Programs with Shared Variables

Thomas Wolff. Implementation of a Transition Sematics for Parallel Programs with Shared Variables. In Burkhard Monien, Robert Cori, editors, STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings. Volume 349 of Lecture Notes in Computer Science, pages 541-543, Springer, 1989.

Abstract

Abstract is missing.