{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:16:59Z","timestamp":1760044619776},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030255428"},{"type":"electronic","value":"9783030255435"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25543-5_26","type":"book-chapter","created":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T08:03:09Z","timestamp":1562918589000},"page":"459-477","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Automated Parameterized Verification of CRDTs"],"prefix":"10.1007","author":[{"given":"Kartik","family":"Nagar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,12]]},"reference":[{"key":"26_CR1","doi-asserted-by":"publisher","unstructured":"Attiya, H., Burckhardt, S., Gotsman, A., Morrison, A., Yang, H., Zawirski, M.: Specification and complexity of collaborative text editing. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, 25\u201328 July 2016, pp. 259\u2013268 (2016). \n                      https:\/\/doi.org\/10.1145\/2933057.2933090","DOI":"10.1145\/2933057.2933090"},{"issue":"3","key":"26_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.14778\/2735508.2735509","volume":"8","author":"P Bailis","year":"2014","unstructured":"Bailis, P., Fekete, A., Franklin, M.J., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Coordination avoidance in database systems. PVLDB 8(3), 185\u2013196 (2014). \n                      https:\/\/doi.org\/10.14778\/2735508.2735509\n                      \n                    . \n                      http:\/\/www.vldb.org\/pvldb\/vol8\/p185-bailis.pdf","journal-title":"PVLDB"},{"issue":"5","key":"26_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/2447976.2447992","volume":"56","author":"P Bailis","year":"2013","unstructured":"Bailis, P., Ghodsi, A.: Eventual consistency today: limitations, extensions, and beyond. Commun. ACM 56(5), 55\u201363 (2013). \n                      https:\/\/doi.org\/10.1145\/2447976.2447992","journal-title":"Commun. ACM"},{"key":"26_CR4","doi-asserted-by":"publisher","unstructured":"Bernardi, G., Gotsman, A.: Robustness against consistency models with atomic visibility. In: 27th International Conference on Concurrency Theory, CONCUR 2016, 23\u201326 August 2016, Qu\u00e9bec City, Canada, pp. 7:1\u20137:15 (2016). \n                      https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2016.7","DOI":"10.4230\/LIPIcs.CONCUR.2016.7"},{"key":"26_CR5","doi-asserted-by":"publisher","unstructured":"Brutschy, L., Dimitrov, D., M\u00fcller, P., Vechev, M.T.: Static serializability analysis for causal consistency. In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, 18\u201322 June 2018, pp. 90\u2013104 (2018). \n                      https:\/\/doi.org\/10.1145\/3192366.3192415","DOI":"10.1145\/3192366.3192415"},{"key":"26_CR6","doi-asserted-by":"publisher","unstructured":"Burckhardt, S., Gotsman, A., Yang, H., Zawirski, M.: Replicated data types: specification, verification, optimality. In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, USA, 20\u201321 January 2014, pp. 271\u2013284 (2014). \n                      https:\/\/doi.org\/10.1145\/2535838.2535848","DOI":"10.1145\/2535838.2535848"},{"key":"26_CR7","doi-asserted-by":"publisher","unstructured":"DeCandia, G., et al.: Dynamo: amazon\u2019s highly available key-value store. In: Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, 14\u201317 October 2007, pp. 205\u2013220 (2007). \n                      https:\/\/doi.org\/10.1145\/1294261.1294281","DOI":"10.1145\/1294261.1294281"},{"issue":"2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert, S., Lynch, N.A.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33(2), 51\u201359 (2002). \n                      https:\/\/doi.org\/10.1145\/564585.564601\n                      \n                    . \n                      http:\/\/doi.acm.org\/10.1145\/564585.564601","journal-title":"SIGACT News"},{"issue":"OOPSLA","key":"26_CR9","doi-asserted-by":"publisher","first-page":"109:1","DOI":"10.1145\/3133933","volume":"1","author":"VBF Gomes","year":"2017","unstructured":"Gomes, V.B.F., Kleppmann, M., Mulligan, D.P., Beresford, A.R.: Verifying strong eventual consistency in distributed systems. PACMPL 1(OOPSLA), 109:1\u2013109:28 (2017). \n                      https:\/\/doi.org\/10.1145\/3133933","journal-title":"PACMPL"},{"key":"26_CR10","doi-asserted-by":"publisher","unstructured":"Gotsman, A., Yang, H., Ferreira, C., Najafzadeh, M., Shapiro, M.: \u2018Cause i\u2019m strong enough: reasoning about consistency choices in distributed systems. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, 20\u201322 January 2016, pp. 371\u2013384 (2016). \n                      https:\/\/doi.org\/10.1145\/2837614.2837625\n                      \n                    , \n                      http:\/\/doi.acm.org\/10.1145\/2837614.2837625","DOI":"10.1145\/2837614.2837625"},{"issue":"POPL","key":"26_CR11","first-page":"74:1","volume":"3","author":"F Houshmand","year":"2019","unstructured":"Houshmand, F., Lesani, M.: Hamsaz: replication coordination analysis and synthesis. PACMPL 3(POPL), 74:1\u201374:32 (2019). \n                      https:\/\/dl.acm.org\/citation.cfm?id=3290387","journal-title":"PACMPL"},{"issue":"OOPSLA","key":"26_CR12","doi-asserted-by":"publisher","first-page":"164:1","DOI":"10.1145\/3276534","volume":"2","author":"G Kaki","year":"2018","unstructured":"Kaki, G., Earanky, K., Sivaramakrishnan, K.C., Jagannathan, S.: Safe replication through bounded concurrency verification. PACMPL 2(OOPSLA), 164:1\u2013164:27 (2018). \n                      https:\/\/doi.org\/10.1145\/3276534","journal-title":"PACMPL"},{"key":"26_CR13","unstructured":"Li, C., Porto, D., Clement, A., Gehrke, J., Pregui\u00e7a, N.M., Rodrigues, R.: Making geo-replicated systems fast as possible, consistent when necessary. In: 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, 8\u201310 October 2012, pp. 265\u2013278 (2012). \n                      https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/li"},{"key":"26_CR14","doi-asserted-by":"publisher","unstructured":"Lloyd, W., Freedman, M.J., Kaminsky, M., Andersen, D.G.: Don\u2019t settle for eventual: scalable causal consistency for wide-area storage with COPS. In: Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, 23\u201326 October 2011, pp. 401\u2013416 (2011). \n                      https:\/\/doi.org\/10.1145\/2043556.2043593\n                      \n                    , \n                      http:\/\/doi.acm.org\/10.1145\/2043556.2043593","DOI":"10.1145\/2043556.2043593"},{"key":"26_CR15","unstructured":"Nagar, K., Jagannathan, S.: Automated Parameterized Verification of CRDTs (Extended Version). \n                      https:\/\/arxiv.org\/abs\/1905.05684"},{"key":"26_CR16","doi-asserted-by":"publisher","unstructured":"Nagar, K., Jagannathan, S.: Automated detection of serializability violations under weak consistency. In: 29th International Conference on Concurrency Theory, CONCUR 2018, 4\u20137 September 2018, Beijing, China, pp. 41:1\u201341:18 (2018). \n                      https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2018.41","DOI":"10.4230\/LIPIcs.CONCUR.2018.41"},{"key":"26_CR17","doi-asserted-by":"publisher","unstructured":"Nichols, D.A., Curtis, P., Dixon, M., Lamping, J.: High-latency, low-bandwidth windowing in the jupiter collaboration system. In: Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, UIST 1995, Pittsburgh, PA, USA, 14\u201317 November 1995, pp. 111\u2013120 (1995). \n                      https:\/\/doi.org\/10.1145\/215585.215706","DOI":"10.1145\/215585.215706"},{"issue":"4","key":"26_CR18","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10817-009-9161-6","volume":"44","author":"R Piskac","year":"2010","unstructured":"Piskac, R., de Moura, L.M., Bj\u00f8rner, N.: Deciding effectively propositional logic using DPLL and substitution sets. J. Autom. Reasoning 44(4), 401\u2013424 (2010). \n                      https:\/\/doi.org\/10.1007\/s10817-009-9161-6","journal-title":"J. Autom. Reasoning"},{"key":"26_CR19","unstructured":"Pregui\u00e7a, N.M., Baquero, C., Shapiro, M.: Conflict-free replicated data types (CRDTs). CoRR abs\/1805.06358 (2018). \n                      http:\/\/arxiv.org\/abs\/1805.06358"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: A comprehensive study of Convergent and Commutative Replicated Data Types. Technical report RR-7506, INRIA, Inria - Centre Paris-Rocquencourt (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"26_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-24550-3_29","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"M Shapiro","year":"2011","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) SSS 2011. LNCS, vol. 6976, pp. 386\u2013400. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-24550-3_29"},{"key":"26_CR22","doi-asserted-by":"publisher","unstructured":"Sivaramakrishnan, K.C., Kaki, G., Jagannathan, S.: Declarative programming over eventually consistent data stores. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 15\u201317 June 2015, pp. 413\u2013424 (2015). \n                      https:\/\/doi.org\/10.1145\/2737924.2737981","DOI":"10.1145\/2737924.2737981"},{"key":"26_CR23","doi-asserted-by":"publisher","unstructured":"Sovran, Y., Power, R., Aguilera, M.K., Li, J.: Transactional storage for geo-replicated systems. In: Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, 23\u201326 October 2011, pp. 385\u2013400 (2011). \n                      https:\/\/doi.org\/10.1145\/2043556.2043592\n                      \n                    , \n                      http:\/\/doi.acm.org\/10.1145\/2043556.2043592","DOI":"10.1145\/2043556.2043592"},{"key":"26_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-662-43613-4_3","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"P Zeller","year":"2014","unstructured":"Zeller, P., Bieniusa, A., Poetzsch-Heffter, A.: Formal specification and verification of CRDTs. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 33\u201348. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-662-43613-4_3"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25543-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T08:09:58Z","timestamp":1562918998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25543-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030255428","9783030255435"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25543-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York City, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/i-cav.org\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"258","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"67","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}