13 citations · 52 across the 27 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 2 cited
Reducing Opacity to Linearizability: A Sound and Complete Method
Alasdair Armstrong, Brijesh Dongol, Simon Doherty
Transactional memory is a mechanism that manages thread synchronisation on behalf of a programmer so that blocks of code execute with an illusion of atomicity. The main safety crit…
cs.LO2016★ 2 cited
Towards linking correctness conditions for concurrent objects and contextual trace refinement
Brijesh Dongol, Lindsay Groves
Correctness conditions for concurrent objects describe how atomicity of an abstract sequential object may be decomposed. Many different concurrent objects and proof methods for the…
cs.DC2016
Contextual trace refinement for concurrent objects: Safety and progress
Brijesh Dongol, Lindsay Groves
Correctness of concurrent objects is defined in terms of safety properties such as linearizability, sequential consistency, and quiescent consistency, and progress properties such…