%0 Conference Paper %1 conf/popl/BrutschyD0V17 %A Brutschy, Lucas %A Dimitrov, Dimitar K. %A Müller, Peter %A Vechev, Martin T. %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K dblp %P 458-472 %T Serializability for eventual consistency: criterion, analysis, and applications. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#BrutschyD0V17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/BrutschyD0V17, added-at = {2021-09-01T00:00:00.000+0200}, author = {Brutschy, Lucas and Dimitrov, Dimitar K. and Müller, Peter and Vechev, Martin T.}, biburl = {https://www.bibsonomy.org/bibtex/2d138fb586984f20eeb852c9f8c843ab0/dblp}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {https://doi.org/10.1145/3093333.3009895}, interhash = {6b1461fea9b7eaa373ffb7e10a86fc80}, intrahash = {d138fb586984f20eeb852c9f8c843ab0}, isbn = {978-1-4503-4660-3}, keywords = {dblp}, pages = {458-472}, publisher = {ACM}, timestamp = {2024-04-09T13:30:08.000+0200}, title = {Serializability for eventual consistency: criterion, analysis, and applications.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#BrutschyD0V17}, year = 2017 }