Multiprogram Design in the theory of Owicki and Gries

Doug Goldson
2001 unpublished
doi:10.14236/ewic/iwfm2001.2 fatcat:ma2fz4gajjbvbdajdx7cq6s7gu