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

@phdthesis{phd/ethos/Barnett14a, added-at = {2023-12-13T03:19:46.000+0100}, author = {Barnett, Granville}, biburl = {https://www.bibsonomy.org/bibtex/24ac877beb0f0355c034f16e3cd5d77dd/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.600967}, interhash = {8a2cc99cb032011043171ed414a07deb}, intrahash = {4ac877beb0f0355c034f16e3cd5d77dd}, keywords = {}, note = {British Library, EThOS}, school = {Durham University, UK}, timestamp = {2023-12-13T03:19:46.000+0100}, title = {Reasoning about locks and transactions in concurrent programs.}, year = 2014 }