2 citations · 7 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 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.LO2013
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
We provide simple equational principles for deriving rely-guarantee-style inference rules and refinement laws based on idempotent semirings. We link the algebraic layer with concre…