A generalization of Owicki-Gries's Hoare logic for a concurrent while language

✍ Scribed by Colin Stirling

• Publisher: Elsevier Science
• Year: 1988
• Tongue: English
• Weight: 831 KB
• Volume: 58
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(88)90033-3