{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:54:56Z","timestamp":1732035296010},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_22","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"332-347","source":"Crossref","is-referenced-by-count":17,"title":["Formal Modeling and Analysis of Cassandra in Maude"],"prefix":"10.1007","author":[{"given":"Si","family":"Liu","sequence":"first","affiliation":[]},{"given":"Muntasir Raihan","family":"Rahman","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Skeirik","sequence":"additional","affiliation":[]},{"given":"Indranil","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Basho Riak, http:\/\/basho.com\/riak\/"},{"key":"22_CR2","unstructured":"Cassandra, http:\/\/cassandra.apache.org\/"},{"key":"22_CR3","unstructured":"DB-Engines, http:\/\/db-engines.com\/en\/ranking"},{"key":"22_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Bailis, P., Venkataraman, S., Franklin, M.J., Hellerstein, J.M., Stoica, I.: Probabilistically bounded staleness for practical partial quorums. Proc. VLDB Endow.\u00a05(8), 776\u2013787","DOI":"10.14778\/2212351.2212359"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Enea, C., Hamza, J.: Verifying eventual consistency of optimistic replication systems. In: POPL, pp. 285\u2013296 (2014)","DOI":"10.1145\/2535838.2535877"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Brewer, E.A.: Towards robust distributed systems (abstract). In: PODC, p. 7 (2000)","DOI":"10.1145\/343477.343502"},{"key":"22_CR8","series-title":"LNCS","volume-title":"All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic","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.\u00a04350. Springer, Heidelberg (2007)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-28872-2_6","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Eckhardt","year":"2012","unstructured":"Eckhardt, J., M\u00fchlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable availability under denial of service attacks through formal patterns. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 78\u201393. Springer, Heidelberg (2012)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-37635-1_9","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Eckhardt","year":"2013","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Statistical model checking for composite actor systems. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol.\u00a07841, pp. 143\u2013160. Springer, Heidelberg (2013)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-642-54624-2_25","volume-title":"Specification, Algebra, and Software","author":"J. Grov","year":"2014","unstructured":"Grov, J., \u00d6lveczky, P.C.: Formal Modeling and Analysis of Google\u2019s Megastore in Real-Time Maude. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol.\u00a08373, pp. 494\u2013519. Springer, Heidelberg (2014)"},{"key":"22_CR12","unstructured":"Hewitt, E.: Cassandra: The Definitive Guide. O\u2019Reilly Media, Sebastopol (2010)"},{"key":"22_CR13","unstructured":"Li, C., Porto, D., Clement, A., Gehrke, J., Pregui\u00e7a, N., Rodrigues, R.: Making geo-replicated systems fast as possible, consistent when necessary. In: Proc.\u00a0USENIX Conference on Operating Systems Design and Implementation (OSDI), pp. 265\u2013278 (2012)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Liu, S., Rahman, M., 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":"22_CR15","doi-asserted-by":"crossref","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: Proc.\u00a0ACM Symposium on Operating Systems Principles (SOSP), pp. 401\u2013416 (2011)","DOI":"10.1145\/2043556.2043593"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47993-7_1","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic models for distributed object reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"key":"22_CR17","unstructured":"Rahman, M.R., Golab, W., AuYoung, A., Keeton, K., Wylie, J.J.: Toward a principled framework for benchmarking consistency. In: Proc. \u00a0USENIX Workshop on Hot Topics in System Dependability, HotDep (2012)"},{"key":"22_CR18","first-page":"67","volume":"104","author":"M. Shapiro","year":"2011","unstructured":"Shapiro, M., Pregui\u00e7a, N.M., Baquero, C., Zawirski, M.: Convergent and commutative replicated data types. Bulletin of the EATCS\u00a0104, 67\u201388 (2011)","journal-title":"Bulletin of the EATCS"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Skeirik, S., Bobba, R.B., Meseguer, J.: Formal analysis of fault-tolerant group key management using ZooKeeper. In: Proc.\u00a0Symposium on Cluster, Cloud, and Grid Computing (CCGRID), pp. 636\u2013641 (2013)","DOI":"10.1109\/CCGrid.2013.98"},{"key":"22_CR20","unstructured":"Vogels, W.: Amazon\u2019s dynamo. All Things Distributed (October 2007), http:\/\/www.allthingsdistributed.com\/2007\/10\/amazons_dynamo.html"},{"issue":"6","key":"22_CR21","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1466443.1466448","volume":"6","author":"W. Vogels","year":"2008","unstructured":"Vogels, W.: Eventually consistent. ACM Queue\u00a06(6), 14\u201319 (2008)","journal-title":"ACM Queue"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-34005-5_4","volume-title":"Rewriting Logic and Its Applications","author":"M. Wirsing","year":"2012","unstructured":"Wirsing, M., Eckhardt, J., M\u00fchlbauer, T., Meseguer, J.: Design and analysis of cloud-based architectures with KLAIM and maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol.\u00a07571, pp. 54\u201382. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11737-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T20:35:10Z","timestamp":1598387710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}