The following publications are possibly variants of this publication:
- Modularising Opacity Verification for Hybrid Transactional MemoryAlasdair Armstrong, Brijesh Dongol. forte 2017: 33-49 [doi]
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional MemoryEleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim. forte 2020: 39-58 [doi]
- Checking Opacity and Durable Opacity with FDRBrijesh Dongol, Jay Le-Papin. SEFM 2021: 222-242 [doi]
- Verifying Opacity of a Transactional Mutex LockJohn Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim. FM 2015: 161-177 [doi]