Multiprogram Design in the theory of Owicki and Gries

Doug Goldson. Multiprogram Design in the theory of Owicki and Gries. In Andrew Butterfield, Glenn Strong, Claus Pahl, editors, 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001. Workshops in Computing, BCS, 2001. [doi]

Abstract

Abstract is missing.