https://openresearch.surrey.ac.uk/esploro/outputs/conferenceProceeding/Owicki-Gries-Reasoning-for-C11-RAR/99536423202346
Owicki-Gries Reasoning for C11 RAR - University of Surrey
Owicki-Gries reasoning for concurrent programs uses Hoare logic together with an interference freedom rule for concurrency. In this paper, we develop a new...
university ofgriesreasoningrarsurrey