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

From MaRDI portal
Revision as of 02:02, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1107518

DOI10.1016/0304-3975(88)90033-3zbMath0653.03017OpenAlexW2071748540MaRDI QIDQ1107518

Colin Stirling

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90033-3




Related Items (11)




Cites Work




This page was built for publication: A generalization of Owicki-Gries's Hoare logic for a concurrent while language