%0 Thesis %1 phd/ethos/Barnett14a %A Barnett, Granville %D 2014 %K dblp %T Reasoning about locks and transactions in concurrent programs.

@phdthesis{phd/ethos/Barnett14a, added-at = {2022-04-05T00:00:00.000+0200}, author = {Barnett, Granville}, biburl = {https://www.bibsonomy.org/bibtex/24ac877beb0f0355c034f16e3cd5d77dd/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.600967}, interhash = {8a2cc99cb032011043171ed414a07deb}, intrahash = {4ac877beb0f0355c034f16e3cd5d77dd}, keywords = {dblp}, note = {British Library, EThOS}, school = {Durham University, UK}, timestamp = {2024-04-09T08:58:25.000+0200}, title = {Reasoning about locks and transactions in concurrent programs.}, year = 2014 }