The following publications are possibly variants of this publication:
- Owicki-Gries Reasoning for C11 RARSadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim. ECOOP 2020: [doi]
- Mechanised Operational Reasoning for C11 Programs with Relaxed DependenciesDaniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol. fac, 35(2), June 2023. [doi]
- Owicki-Gries Reasoning for C11 RAR (Artifact)Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim. darts, 6(2), 2020. [doi]
- Ownership-Based Owicki-Gries ReasoningMikhail Semenyuk, Brijesh Dongol. SAC 2023: 1685-1694 [doi]
- View-Based Owicki-Gries Reasoning for Persistent x86-TSOEleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson. ESOP 2022: 234-261 [doi]
- Concurrent Program Design in the Extended Theory of Owicki and GriesDoug Goldson, Brijesh Dongol. cats 2005: 41-50 [doi]