{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:47:26Z","timestamp":1759132046199,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319222639"},{"type":"electronic","value":"9783319222646"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22264-6_15","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T10:33:29Z","timestamp":1440153209000},"page":"228-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Quantitative Analysis of Consistency in NoSQL Key-Value Stores"],"prefix":"10.1007","author":[{"given":"Si","family":"Liu","sequence":"first","affiliation":[]},{"given":"Son","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Jatin","family":"Ganhotra","sequence":"additional","affiliation":[]},{"given":"Muntasir Raihan","family":"Rahman","sequence":"additional","affiliation":[]},{"given":"Indranil","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"15_CR1","unstructured":"Cassandra. http:\/\/cassandra.apache.org"},{"key":"15_CR2","unstructured":"DB-Engines. http:\/\/db-engines.com\/en\/ranking"},{"key":"15_CR3","unstructured":"MongoDB. http:\/\/www.mongodb.org"},{"key":"15_CR4","unstructured":"Redis. http:\/\/redis.io"},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.entcs.2005.10.040","volume":"153","author":"GA Agha","year":"2006","unstructured":"Agha, G.A., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. Electr. Notes Theor. Comput. Sci. 153(2), 213\u2013239 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"AlTurki, M., Meseguer, J.: Pvesta: a parallel statistical model checking and quantitative analysis tool. In: CALCO, pp. 386\u2013392 (2011)","DOI":"10.1007\/978-3-642-22944-2_28"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Bailis, P., Venkataraman, S., Franklin, M.J., Hellerstein, J.M., Stoica, I.: Probabilistically bounded staleness for practical partial quorums. Proceedings of the VLDB Endowment 5(8), 776\u2013787 (2012)","DOI":"10.14778\/2212351.2212359"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/j.future.2013.12.036","volume":"37","author":"E Barbierato","year":"2014","unstructured":"Barbierato, E., Gribaudo, M., Iacono, M.: Performance evaluation of NoSQL big-data applications using multi-formalism models. Future Gener. Comp. Syst. 37, 345\u2013353 (2014)","journal-title":"Future Gener. Comp. Syst."},{"key":"15_CR9","unstructured":"Beaver, D., Kumar, S., Li, H.C., Sobel, J., Vajgel, P.: Finding a needle in haystack: facebook\u2019s photo storage. In: OSDI 2010, pp. 47\u201360 (2010)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Benson, T., Akella, A., Maltz, D.A.: Network traffic characteristics of data centers in the wild. In: IMC, pp. 267\u2013280 (2010)","DOI":"10.1145\/1879141.1879175"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Bermbach, D., Tai, S.: Eventual consistency: how soon is eventual? an evaluation of amazon s3\u2019s consistency behavior. In: Middleware, p. 1 (2011)","DOI":"10.1145\/2093185.2093186"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Brewer, E.A.: Towards robust distributed systems (abstract). In: PODC, p. 7 (2000)","DOI":"10.1145\/343477.343502"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Cooper, B.F., Silberstein, A., Tam, E., Ramakrishnan, R., Sears, R.: Benchmarking cloud serving systems with YCSB. In: SOCC, pp. 143\u2013154 (2010)","DOI":"10.1145\/1807128.1807152"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Statistical model checking for composite actor systems. In: WADT, pp. 143\u2013160 (2012)","DOI":"10.1007\/978-3-642-37635-1_9"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Gandini, A., Gribaudo, M., Knottenbelt, W.J., Osman, R., Piazzolla, P.: Performance evaluation of NoSQL databases. In: EPEW, pp. 16\u201329 (2014)","DOI":"10.1007\/978-3-319-10885-8_2"},{"issue":"7","key":"15_CR17","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Liu, S., Rahman, M.R., Ganhotra, J., \u00d6lveczky, P.C., Gupta, I., Meseguer, J.: Formal modeling and analysis of RAMP transaction systems (2015). https:\/\/sites.google.com\/site\/siliunobi\/ramp","DOI":"10.1145\/2851613.2851838"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Liu, S., Rahman, M.R., Skeirik, S., Gupta, I., Meseguer, J.: Formal modeling and analysis of cassandra in maude. In: ICFEM, pp. 332\u2013347 (2014)","DOI":"10.1007\/978-3-319-11737-9_22"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Liu, S., Rahman, M.R., Skeirik, S., Gupta, I., Meseguer, J.: Formal modeling and analysis of cassandra in maude (2014). https:\/\/sites.google.com\/site\/siliunobi\/icfem-cassandra","DOI":"10.1007\/978-3-319-11737-9_22"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96, 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Osman, R., Piazzolla, P.: Modelling replication in nosql datastores. In: QEST, pp. 194\u2013209 (2014)","DOI":"10.1007\/978-3-319-10696-0_16"},{"key":"15_CR23","unstructured":"Rahman, M.R., Golab, W., AuYoung, A., Keeton, K., Wylie, J.J.: Toward a principled framework for benchmarking consistency. In: HotDep (2012)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: CAV, pp. 266\u2013280 (2005)","DOI":"10.1007\/11513988_26"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: VESTA: a statistical model-checker and analyzer for probabilistic systems. In: QEST, pp. 251\u2013252 (2005)","DOI":"10.1109\/QEST.2005.42"},{"issue":"12","key":"15_CR26","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2500500","volume":"56","author":"D Terry","year":"2013","unstructured":"Terry, D.: Replicated data consistency explained through baseball. Commun. ACM 56(12), 82\u201389 (2013)","journal-title":"Commun. ACM"},{"issue":"1","key":"15_CR27","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1435417.1435432","volume":"52","author":"W Vogels","year":"2009","unstructured":"Vogels, W.: Eventually consistent. Commun. ACM 52(1), 40\u201344 (2009)","journal-title":"Commun. ACM"},{"key":"15_CR28","unstructured":"Wada, H., Fekete, A., Zhao, L., Lee, K., Liu, A.: Data consistency properties and the trade-offs in commercial cloud storage: the consumers\u2019 perspective. In: CIDR, pp. 134\u2013143 (2011)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"White, B., Lepreau, J., Stoller, L., Ricci, R., Guruprasad, S., Newbold, M., Hibler, M., Barb, C., Joglekar, A.: An integrated experimental environment for distributed systems and networks. In: OSDI, pp. 255\u2013270 (2002)","DOI":"10.1145\/844128.844152"},{"issue":"9","key":"15_CR30","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HLS Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. 204(9), 1368\u20131409 (2006)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22264-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T16:20:16Z","timestamp":1675873216000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22264-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319222639","9783319222646"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22264-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}