Verifying properties of parallel programs: an axiomatic approach
Owicki, Susan, Gries, DavidVolume:
19
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/360051.360224
Date:
May, 1976
File:
PDF, 656 KB
english, 1976