![](/img/cover-not-exists.png)
A generalization of Owicki-Gries's Hoare logic for a concurrent while language
Colin StirlingVolume:
58
Year:
1988
Language:
english
Pages:
13
DOI:
10.1016/0304-3975(88)90033-3
File:
PDF, 831 KB
english, 1988