{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:30:53Z","timestamp":1775838653251,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1145\/3009837.3009888","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"626-638","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["On verifying causal consistency"],"prefix":"10.1145","author":[{"given":"Ahmed","family":"Bouajjani","sequence":"first","affiliation":[{"name":"University of Paris Diderot, France"}]},{"given":"Constantin","family":"Enea","sequence":"additional","affiliation":[{"name":"University of Paris Diderot, France"}]},{"given":"Rachid","family":"Guerraoui","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Jad","family":"Hamza","sequence":"additional","affiliation":[{"name":"Inria, France \/ EPFL, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_23"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784241"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2847"},{"key":"e_1_3_2_1_4_1","volume-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008","author":"Atig M. F.","year":"2008","unstructured":"M. F. Atig , A. Bouajjani , and T. Touili . Analyzing asynchronous programs with preemption . In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008 , December 9-11, 2008 , Bangalore, India, pages 37\u201348 , 2008. M. F. Atig, A. Bouajjani, and T. Touili. Analyzing asynchronous programs with preemption. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pages 37\u201348, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"e_1_3_2_1_6_1","volume-title":"CFSE","author":"Benmouffok L.","year":"2009","unstructured":"L. Benmouffok , J.-M. Busca , J. M. Marqu\u00e8s , M. Shapiro , P. Sutra , and G. Tsoukalas . Telex: A semantic platform for cooperative application development . In CFSE , Toulouse, France , 2009 . L. Benmouffok, J.-M. Busca, J. M. Marqu\u00e8s, M. Shapiro, P. Sutra, and G. Tsoukalas. Telex: A semantic platform for cooperative application development. In CFSE, Toulouse, France, 2009."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/323647.323636"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535877"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47666-6_8"},{"key":"e_1_3_2_1_10_1","volume-title":"Nov.","author":"Bouajjani A.","year":"2016","unstructured":"A. Bouajjani , C. Enea , R. Guerraoui , and J. Hamza . On Verifying Causal Consistency. ArXiv e-prints , Nov. 2016 . A. Bouajjani, C. Enea, R. Guerraoui, and J. Hamza. On Verifying Causal Consistency. ArXiv e-prints, Nov. 2016."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646736.701768"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000011"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523628"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670983"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647444.727062"},{"key":"e_1_3_2_1_17_1","volume-title":"Timestamps in message-passing systems that preserve the partial ordering","author":"Fidge C. J.","year":"1987","unstructured":"C. J. Fidge . Timestamps in message-passing systems that preserve the partial ordering . Australian National University. Department of Computer Science , 1987 . C. J. Fidge. Timestamps in message-passing systems that preserve the partial ordering. Australian National University. Department of Computer Science, 1987."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.27"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","volume-title":"NETYS \u201915","author":"Hamza J.","year":"2015","unstructured":"J. Hamza . On the complexity of linearizability. In NETYS \u201915 , volume 9466 of Lecture Notes in Computer Science . Springer , 2015 . J. Hamza. On the complexity of linearizability. In NETYS \u201915, volume 9466 of Lecture Notes in Computer Science. Springer, 2015."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_18"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90041-0"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.03.012"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/383962.384020"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/138873.138877"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837622"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_34_1","first-page":"226","volume-title":"PARALLEL AND DISTRIBUTED ALGORITHMS","author":"Mattern F.","unstructured":"F. Mattern . Virtual time and global states of distributed systems . In PARALLEL AND DISTRIBUTED ALGORITHMS , pages 215\u2013 226 . North-Holland, 1988. F. Mattern. Virtual time and global states of distributed systems. In PARALLEL AND DISTRIBUTED ALGORITHMS, pages 215\u2013226. North-Holland, 1988."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982500"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851141.2851170"},{"key":"e_1_3_2_1_37_1","volume-title":"Kommunikation mit automaten","author":"Petri C. A.","year":"1962","unstructured":"C. A. Petri . Kommunikation mit automaten . 1962 . C. A. Petri. Kommunikation mit automaten. 1962."},{"key":"e_1_3_2_1_38_1","first-page":"194","volume-title":"International Conference on Foundations of Software Technology and Theoretical Computer Science","author":"Raynal M.","unstructured":"M. Raynal and A. Schiper . From causal consistency to sequential consistency in shared memory systems . In International Conference on Foundations of Software Technology and Theoretical Computer Science , pages 180\u2013 194 . Springer, 1995. M. Raynal and A. Schiper. From causal consistency to sequential consistency in shared memory systems. In International Conference on Foundations of Software Technology and Theoretical Computer Science, pages 180\u2013194. Springer, 1995."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/645792.668302"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224070"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_3_2_1_42_1","volume-title":"Verifying PRAM consistency over read\/write traces of data replicas. CoRR, abs\/1302.5161","author":"Wei H.","year":"2013","unstructured":"H. Wei , Y. Huang , J. Cao , X. Ma , and J. Lu . Verifying PRAM consistency over read\/write traces of data replicas. CoRR, abs\/1302.5161 , 2013 . H. Wei, Y. Huang, J. Cao, X. Ma, and J. Lu. Verifying PRAM consistency over read\/write traces of data replicas. CoRR, abs\/1302.5161, 2013."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512661"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814576.2814733"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009888","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:05:34Z","timestamp":1750259134000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009888"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":42,"alternative-id":["10.1145\/3009837.3009888","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009888","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009888","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}