%0 Conference Paper %1 conf/birthday/Lowe17 %A Lowe, Gavin %B Concurrency, Security, and Puzzles %D 2017 %E Gibson-Robinson, Thomas %E Hopcroft, Philippa J. %E Lazic, Ranko %I Springer %K %P 162-184 %T Analysing Lock-Free Linearizable Datatypes Using CSP. %U http://dblp.uni-trier.de/db/conf/birthday/roscoe2017.html#Lowe17 %V 10160 %@ 978-3-319-51045-3

@inproceedings{conf/birthday/Lowe17, added-at = {2023-12-13T08:20:30.000+0100}, author = {Lowe, Gavin}, biburl = {https://www.bibsonomy.org/bibtex/22d3a2df922410b111afbf83d6f88e16a/admin}, booktitle = {Concurrency, Security, and Puzzles}, crossref = {conf/birthday/2017roscoe}, editor = {Gibson-Robinson, Thomas and Hopcroft, Philippa J. and Lazic, Ranko}, ee = {https://doi.org/10.1007/978-3-319-51046-0_9}, interhash = {c2e3d6519045db3cb2b31c9d3d940c66}, intrahash = {2d3a2df922410b111afbf83d6f88e16a}, isbn = {978-3-319-51045-3}, keywords = {}, pages = {162-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T08:20:30.000+0100}, title = {Analysing Lock-Free Linearizable Datatypes Using CSP.}, url = {http://dblp.uni-trier.de/db/conf/birthday/roscoe2017.html#Lowe17}, volume = 10160, year = 2017 }