{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:37:53Z","timestamp":1725763073884},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319041315"},{"type":"electronic","value":"9783319041322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04132-2_1","type":"book-chapter","created":{"date-parts":[[2013,12,8]],"date-time":"2013-12-08T21:49:14Z","timestamp":1386539354000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["\u211eCML: A Prescription for Safely Relaxing Synchrony"],"prefix":"10.1007","author":[{"given":"K. C.","family":"Sivaramakrishnan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukasz","family":"Ziarek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. (1996)"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"K.P. Birman","year":"1987","unstructured":"Birman, K.P., Joseph, T.A.: Reliable Communication in the Presence of Failures. ACM Trans. Comput. Syst.\u00a05(1), 47\u201376 (1987)","journal-title":"ACM Trans. Comput. Syst."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Boehm, H.J., Adve, S.V.: Foundations of the C++ Concurrency Memory Model. In: PLDI, pp. 68\u201378 (2008)","DOI":"10.1145\/1379022.1375591"},{"key":"1_CR4","unstructured":"Cao Minh, C., Chung, J., Kozyrakis, C., Olukotun, K.: STAMP: Stanford transactional applications for multi-processing. In: IISWC (2008)"},{"issue":"4","key":"1_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s004460050018","volume":"9","author":"B. Charron-Bost","year":"1996","unstructured":"Charron-Bost, B., Mattern, F., Tel, G.: Synchronous, Asynchronous, and Causally Ordered Communication. Distrib. Comput.\u00a09(4), 173\u2013191 (1996)","journal-title":"Distrib. Comput."},{"key":"1_CR6","unstructured":"Cully, B., Lefebvre, G., Meyer, D., Feeley, M., Hutchinson, N., Warfield, A.: Remus: High Availability via Asynchronous Virtual Machine Replication. In: NSDI, pp. 161\u2013174 (2008)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Demange, D., Laporte, V., Zhao, L., Jagannathan, S., Pichardie, D., Vitek, J.: Plan B: A Buffered Memory Model for Java. In: POPL, pp. 329\u2013342 (2013)","DOI":"10.1145\/2480359.2429110"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Donnelly, K., Fluet, M.: Transactional Events. In: ICFP, pp. 124\u2013135 (2006)","DOI":"10.1145\/1160074.1159821"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Effinger-Dean, L., Kehrt, M., Grossman, D.: Transactional Events for ML. In: ICFP, pp. 103\u2013114 (2008)","DOI":"10.1145\/1411203.1411222"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"E.N.M. Elnozahy","year":"2002","unstructured":"Elnozahy, E.N.M., Alvisi, L., Wang, Y.M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv.\u00a034(3), 375\u2013408 (2002)","journal-title":"ACM Comput. Surv."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Epstein, J., Black, A.P., Peyton-Jones, S.: Towards Haskell in the Cloud. In: Haskell Symposium, pp. 118\u2013129 (2011)","DOI":"10.1145\/2096148.2034690"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Lesani, M., Palsberg, J.: Communicating Memory Transactions. In: PPoPP, pp. 157\u2013168 (2011)","DOI":"10.1145\/2038037.1941577"},{"key":"1_CR13","unstructured":"Li, T., Ellis, C.S., Lebeck, A.R., Sorin, D.J.: Pulse: A Dynamic Deadlock Detection Mechanism Using Speculative Execution. In: USENIX ATC, pp. 31\u201344 (2005)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Martin, S., Ahmed-Nacer, M., Urso, P.: Controlled Conflict Resolution for Replicated Documents. In: CollaborateCom, pp. 471\u2013480 (2012)","DOI":"10.4108\/icst.collaboratecom.2012.250461"},{"key":"1_CR15","unstructured":"MultiMLton: MLton for Scalable Multicore Architectures (2013), \n                  \n                    http:\/\/multimlton.cs.purdue.edu"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Nichols, D.A., Curtis, P., Dixon, M., Lamping, J.: High-latency, Low-bandwidth Windowing in the Jupiter Collaboration System. In: UIST, pp. 111\u2013120 (1995)","DOI":"10.1145\/215585.215706"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Nightingale, E.B., Chen, P.M., Flinn, J.: Speculative Execution in a Distributed File System. In: SOSP, pp. 191\u2013205 (2005)","DOI":"10.1145\/1095809.1095829"},{"key":"1_CR18","unstructured":"Reppy, J.: Concurrent Programming in ML. Cambridge University Press (2007)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Sarkar, S., Sewell, P., Nardelli, F.Z., Owens, S., Ridge, T., Braibant, T., Myreen, M.O., Alglave, J.: The Semantics of x86-CC Multiprocessor Machine Code. In: POPL, pp. 379\u2013391 (2009)","DOI":"10.1145\/1594834.1480929"},{"issue":"4-5","key":"1_CR20","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S0956796807006442","volume":"17","author":"P. Sewell","year":"2007","unstructured":"Sewell, P., Leifer, J.J., Wansbrough, K., Nardelli, F.Z., Allen-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level Programming Language Design for Distributed Computation. J. Funct. Program.\u00a017(4-5), 547\u2013612 (2007)","journal-title":"J. Funct. Program."},{"issue":"7","key":"1_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1785414.1785443","volume":"53","author":"P. Sewell","year":"2010","unstructured":"Sewell, P., Sarkar, S., Owens, S., Nardelli, F.Z., Myreen, M.O.: x86-TSO: A Rigorous and Usable Programmer\u2019s Model for x86 Multiprocessors. Commun. ACM\u00a053(7), 89\u201397 (2010)","journal-title":"Commun. ACM"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Suleiman, M., Cart, M., Ferri\u00e9, J.: Serialization of Concurrent Operations in a Distributed Collaborative Environment. In: GROUP, pp. 435\u2013445 (1997)","DOI":"10.1145\/266838.267369"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1007\/3-540-48311-X_127","volume-title":"Euro-Par\u201999 Parallel Processing","author":"K. Wakita","year":"1999","unstructured":"Wakita, K., Asano, T., Sassa, M.: D\u2019Caml: Native Support for Distributed ML Programming in Heterogeneous Environment. In: Amestoy, P.R., Berger, P., Dayd\u00e9, M., Duff, I.S., Frayss\u00e9, V., Giraud, L., Ruiz, D. (eds.) Euro-Par 1999. LNCS, vol.\u00a01685, pp. 914\u2013924. Springer, Heidelberg (1999)"},{"key":"1_CR24","unstructured":"Wang, D., Mah, A., Lassen, S.: Operational Transformation (2010), \n                  \n                    http:\/\/www.waveprotocol.org\/whitepapers\/operational-transform"},{"key":"1_CR25","unstructured":"Wester, B., Cowling, J.A., Nightingale, E.B., Chen, P.M., Flinn, J., Liskov, B.: Tolerating Latency in Replicated State Machines Through Client Speculation. In: NSDI, pp. 245\u2013260 (2009)"},{"key":"1_CR26","unstructured":"ZeroMQ: The Intelligent Transport Layer (2013), \n                  \n                    http:\/\/www.zeromq.org"},{"issue":"2","key":"1_CR27","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1017\/S0956796810000067","volume":"20","author":"L. Ziarek","year":"2010","unstructured":"Ziarek, L., Jagannathan, S.: Lightweight Checkpointing for Concurrent ML. Journal of Functional Programming\u00a020(2), 137\u2013173 (2010)","journal-title":"Journal of Functional Programming"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Ziarek, L., Sivaramakrishnan, K., Jagannathan, S.: Composable Asynchronous Events. In: PLDI, pp. 628\u2013639 (2011)","DOI":"10.1145\/1993316.1993572"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04132-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T04:52:04Z","timestamp":1558759924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04132-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319041315","9783319041322"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04132-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}