Granville Barnett. Reasoning about locks and transactions in concurrent programs. PhD thesis, Durham University, UK, 2014. [doi]
@phdthesis{ethos-10865, title = {Reasoning about locks and transactions in concurrent programs}, author = {Granville Barnett}, year = {2014}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.600967}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-10865}, cites = {0}, citedby = {0}, school = {Durham University, UK}, }