{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:49:35Z","timestamp":1725814175508},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662460801"},{"type":"electronic","value":"9783662460818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46081-8_20","type":"book-chapter","created":{"date-parts":[[2014,12,11]],"date-time":"2014-12-11T04:25:44Z","timestamp":1418271944000},"page":"355-372","source":"Crossref","is-referenced-by-count":1,"title":["Bounded Implementations of Replicated Data Types"],"prefix":"10.1007","author":[{"given":"Madhavan","family":"Mukund","sequence":"first","affiliation":[]},{"given":"Gautham","family":"Shenoy R.","sequence":"additional","affiliation":[]},{"given":"S. P.","family":"Suresh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","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\u00a033(2), 51\u201359 (2002)","journal-title":"SIGACT News"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Shapiro, M.: Pregui\u00e7a, N., Baquero, C., Zawirski, M.: A comprehensive study of Convergent and Commutative Replicated Data Types. Rapport de recherche RR-7506, INRIA (January 2011), \n                  \n                    http:\/\/hal.inria.fr\/inria-00555588\/PDF\/techreport.pdf","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N.M., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: SSS, pp. 386\u2013400 (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"20_CR4","unstructured":"Bieniusa, A., Zawirski, M., Pregui\u00e7a, N.M., Shapiro, M., Baquero, C., Balegas, V., Duarte, S.: An optimized conflict-free replicated set. CoRR abs\/1210.3368 (2012)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-45249-9_15","volume-title":"Distributed Computing and Networking","author":"M. Mukund","year":"2014","unstructured":"Mukund, M., Shenoy R., G., Suresh, S.P.: Optimized OR-sets without ordering constraints. In: Chatterjee, M., Cao, J.-n., Kothapalli, K., Rajsbaum, S. (eds.) ICDCN 2014. LNCS, vol.\u00a08314, pp. 227\u2013241. Springer, Heidelberg (2014)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Burkhardt, 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, January 20-21, pp. 271\u2013284 (2014)","DOI":"10.1145\/2535838.2535848"},{"issue":"3","key":"20_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s004460050031","volume":"10","author":"M. Mukund","year":"1997","unstructured":"Mukund, M., Sohoni, M.A.: Keeping track of the latest gossip in a distributed system. Distributed Computing\u00a010(3), 137\u2013148 (1997)","journal-title":"Distributed Computing"},{"issue":"6","key":"20_CR8","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":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-17906-2_30","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"A. Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 278\u2013324. Springer, Heidelberg (1987)"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. International Journal of Parallel Programming\u00a015(1), 33\u201371 (1986)","journal-title":"International Journal of Parallel Programming"},{"issue":"1","key":"20_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0304-3975(01)00329-2","volume":"290","author":"M. Mukund","year":"2003","unstructured":"Mukund, M., Narayan Kumar, K., Sohoni, M.A.: Bounded time-stamping in message-passing systems. Theor. Comput. Sci.\u00a0290(1), 221\u2013239 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"20_CR12","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"E.M. Clarke","year":"2003","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM\u00a050(5), 752\u2013794 (2003)","journal-title":"J. ACM"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Willcock, C., Dei\u00df, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: An Introduction to TTCN-3. Wiley (2005)","DOI":"10.1002\/0470017317"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46081-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T20:42:30Z","timestamp":1559076150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46081-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662460801","9783662460818"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46081-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}