Rodrigo Schmidt, Fernando Pedone. A Formal Analysis of the Deferred Update Technique. In Eduardo Tovar, Philippas Tsigas, Hacène Fouchal, editors, Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings. Volume 4878 of Lecture Notes in Computer Science, pages 16-30, Springer, 2007. [doi]
@inproceedings{SchmidtP07, title = {A Formal Analysis of the Deferred Update Technique}, author = {Rodrigo Schmidt and Fernando Pedone}, year = {2007}, doi = {10.1007/978-3-540-77096-1_2}, url = {http://dx.doi.org/10.1007/978-3-540-77096-1_2}, tags = {analysis}, researchr = {https://researchr.org/publication/SchmidtP07}, cites = {0}, citedby = {0}, pages = {16-30}, booktitle = {Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings}, editor = {Eduardo Tovar and Philippas Tsigas and Hacène Fouchal}, volume = {4878}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-77095-4}, }