{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T17:05:32Z","timestamp":1751648732728,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":71,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CCF 1763514"],"award-info":[{"award-number":["CCF 1763514"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,20]]},"DOI":"10.1145\/3452021.3458317","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T14:21:58Z","timestamp":1624026118000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Synchronization Schemas"],"prefix":"10.1145","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]},{"given":"Phillip","family":"Hilliard","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]},{"given":"Zachary G.","family":"Ives","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]},{"given":"Konstantinos","family":"Kallas","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]},{"given":"Konstantinos","family":"Mamouras","sequence":"additional","affiliation":[{"name":"Rice University, Houston, TX, USA"}]},{"given":"Filip","family":"Niksic","sequence":"additional","affiliation":[{"name":"Google, New York, NY, USA"}]},{"given":"Caleb","family":"Stanford","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]},{"given":"Anton","family":"Xue","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"277","volume-title":"Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research (CIDR '05)","author":"Abadi Daniel J.","year":"2005","unstructured":"Daniel J. Abadi , Yanif Ahmad , Magdalena Balazinska , Ugur Cetintemel , Mitch Cherniack , Jeong-Hyon Hwang , Wolfgang Lindner , Anurag Maskey , Alex Rasin , Esther Ryvkina , Nesime Tatbul , Ying Xing , and Stanley Zdonik . The design of the Borealis stream processing engine . In Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research (CIDR '05) , pages 277 -- 289 , 2005 . Daniel J. Abadi, Yanif Ahmad, Magdalena Balazinska, Ugur Cetintemel, Mitch Cherniack, Jeong-Hyon Hwang, Wolfgang Lindner, Anurag Maskey, Alex Rasin, Esther Ryvkina, Nesime Tatbul, Ying Xing, and Stanley Zdonik. The design of the Borealis stream processing engine. In Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research (CIDR '05), pages 277--289, 2005."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0095-z"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536222.2536229"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824076"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2011.5767878"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.11.018"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516518"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290363"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-004-0147-z"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007615"},{"key":"e_1_3_2_1_12_1","first-page":"363","volume-title":"Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR '07)","author":"Barga Roger S.","year":"2007","unstructured":"Roger S. Barga , Jonathan Goldstein , Mohamed Ali , and Mingsheng Hong . Consistent streaming through time: A vision for event stream processing . In Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR '07) , pages 363 -- 374 , 2007 . Roger S. Barga, Jonathan Goldstein, Mohamed Ali, and Mingsheng Hong. Consistent streaming through time: A vision for event stream processing. In Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR '07), pages 363--374, 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299869.3314040"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247620"},{"key":"e_1_3_2_1_15_1","volume-title":"Apache Flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 36(4)","author":"Carbone Paris","year":"2015","unstructured":"Paris Carbone , Asterios Katsifodimos , Stephan Ewen , Volker Markl , Seif Haridi , and Kostas Tzoumas . Apache Flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 36(4) , 2015 . Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, and Kostas Tzoumas. Apache Flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 36(4), 2015."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the First Biennial Conference on Innovative Data Systems Research (CIDR '03)","author":"Chandrasekaran Sirish","year":"2003","unstructured":"Sirish Chandrasekaran , Owen Cooper , Amol Deshpande , Michael J. Franklin , Joseph M. Hellerstein , Wei Hong , Sailesh Krishnamurthy , Sam Madden , Vijayshankar Raman , Fred Reiss , and Mehul Shah . TelegraphCQ : Continuous dataflow processing for an uncertain world . In Proceedings of the First Biennial Conference on Innovative Data Systems Research (CIDR '03) , 2003 . Sirish Chandrasekaran, Owen Cooper, Amol Deshpande, Michael J. Franklin, Joseph M. Hellerstein, Wei Hong, Sailesh Krishnamurthy, Sam Madden, Vijayshankar Raman, Fred Reiss, and Mehul Shah. TelegraphCQ: Continuous dataflow processing for an uncertain world. In Proceedings of the First Biennial Conference on Innovative Data Systems Research (CIDR '03), 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275492"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645920.672834"},{"key":"e_1_3_2_1_19_1","first-page":"38","volume-title":"CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14--17, 2018, Proceedings, Part I","author":"Cook Byron","year":"2018","unstructured":"Byron Cook . Formal reasoning about the security of amazon web services. In Computer Aided Verification - 30th International Conference , CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14--17, 2018, Proceedings, Part I , pages 38 -- 47 , 2018 . Byron Cook. Formal reasoning about the security of amazon web services. In Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14--17, 2018, Proceedings, Part I, pages 38--47, 2018."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629175.1629198"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1534730"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/554921"},{"key":"e_1_3_2_1_23_1","volume-title":"Apache Beam. https:\/\/beam.apache.org\/","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . Apache Beam. https:\/\/beam.apache.org\/ , 2019 . [Online; accessed March 31, 2019]. Apache Software Foundation. Apache Beam. https:\/\/beam.apache.org\/, 2019. [Online; accessed March 31, 2019]."},{"key":"e_1_3_2_1_24_1","volume-title":"https:\/\/flink.apache.org\/","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . Apache Flink . https:\/\/flink.apache.org\/ , 2019 . [Online; accessed March 31, 2019]. Apache Software Foundation. Apache Flink. https:\/\/flink.apache.org\/, 2019. [Online; accessed March 31, 2019]."},{"key":"e_1_3_2_1_25_1","volume-title":"http:\/\/samza.apache.org\/","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . Apache Samza . http:\/\/samza.apache.org\/ , 2019 . [Online; accessed March 31, 2019]. Apache Software Foundation. Apache Samza. http:\/\/samza.apache.org\/, 2019. [Online; accessed March 31, 2019]."},{"key":"e_1_3_2_1_26_1","volume-title":"Apache Spark Streaming. https:\/\/spark.apache.org\/streaming\/","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . Apache Spark Streaming. https:\/\/spark.apache.org\/streaming\/ , 2019 . [Online; accessed March 31, 2019]. Apache Software Foundation. Apache Spark Streaming. https:\/\/spark.apache.org\/streaming\/, 2019. [Online; accessed March 31, 2019]."},{"key":"e_1_3_2_1_27_1","volume-title":"http:\/\/storm.apache.org\/","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . Apache Storm . http:\/\/storm.apache.org\/ , 2019 . [Online; accessed March 31, 2019]. Apache Software Foundation. Apache Storm. http:\/\/storm.apache.org\/, 2019. [Online; accessed March 31, 2019]."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-019-00557-w"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933267.2933304"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2777"},{"key":"e_1_3_2_1_31_1","first-page":"407","volume-title":"Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR '07)","author":"Gyllstrom Daniel","year":"2007","unstructured":"Daniel Gyllstrom , Eugene Wu , Hee-Jin Chae , Yanlei Diao , Patrick Stahlberg , and Gordon Anderson . SASE : Complex event processing over streams . In Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR '07) , pages 407 -- 411 , 2007 . Daniel Gyllstrom, Eugene Wu, Hee-Jin Chae, Yanlei Diao, Patrick Stahlberg, and Gordon Anderson. SASE: Complex event processing over streams. In Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR '07), pages 407--411, 2007."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2013.2243535"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2335484.2335506"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2013.2243535"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3039207"},{"key":"e_1_3_2_1_37_1","volume-title":"March","author":"Hirzel Martin","year":"2014","unstructured":"Martin Hirzel , Robert Soul\u00e9 , Scott Schneider , Buugra Gedik , and Robert Grimm . A catalog of stream processing optimizations. ACM Computing Surveys (CSUR), 46(4):46:1--46:34 , March 2014 . Martin Hirzel, Robert Soul\u00e9, Scott Schneider, Buugra Gedik, and Robert Grimm. A catalog of stream processing optimizations. ACM Computing Surveys (CSUR), 46(4):46:1--46:34, March 2014."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1063\/5.0024204"},{"key":"e_1_3_2_1_39_1","first-page":"471","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . The semantics of a simple language for parallel programming . Information Processing , 74 : 471 -- 475 , 1974 . Gilles Kahn. The semantics of a simple language for parallel programming. Information Processing, 74:471--475, 1974.","journal-title":"Information Processing"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428221"},{"key":"e_1_3_2_1_41_1","volume-title":"Stream processing with dependency-guided synchronization. arXiv preprint arXiv:2104.04512, abs\/2104.04512","author":"Kallas Konstantinos","year":"2021","unstructured":"Konstantinos Kallas , Filip Niksic , Caleb Stanford , and Rajeev Alur . Stream processing with dependency-guided synchronization. arXiv preprint arXiv:2104.04512, abs\/2104.04512 , 2021 . Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur. Stream processing with dependency-guided synchronization. arXiv preprint arXiv:2104.04512, abs\/2104.04512, 2021."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807290"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742788"},{"key":"e_1_3_2_1_44_1","unstructured":"L. Lamport. Specifying Systems: The TLA  L. Lamport. Specifying Systems: The TLA"},{"key":"e_1_3_2_1_45_1","unstructured":"Language and Tools for Hardware and Software Engineers. Addison-Wesley 2002.  Language and Tools for Hardware and Software Engineers. Addison-Wesley 2002."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066193"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453890"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.36"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/564691.564698"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_15"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062369"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314580"},{"key":"e_1_3_2_1_54_1","first-page":"279","volume-title":"Proceedings of an Advanced Course","author":"Mazurkiewicz Antoni W.","year":"1986","unstructured":"Antoni W. Mazurkiewicz . Trace theory. In Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II , Proceedings of an Advanced Course , Bad Honnef, Germany, 8- -19 September 1986 , pages 279 -- 324 , 1986. Antoni W. Mazurkiewicz. Trace theory. In Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8--19 September 1986, pages 279--324, 1986."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522738"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMW.2010.172"},{"key":"e_1_3_2_1_57_1","first-page":"2","volume-title":"16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22--25, 2002","author":"Neven Frank","year":"2002","unstructured":"Frank Neven . Automata, logic, and XML. In Computer Science Logic , 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22--25, 2002 , Proceedings , pages 2 -- 26 , 2002 . Frank Neven. Automata, logic, and XML. In Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22--25, 2002, Proceedings, pages 2--26, 2002."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137765.3137770"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379149"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005566.1005568"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.221"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.003"},{"key":"e_1_3_2_1_63_1","first-page":"501","volume-title":"17th International Conference on Very Large Data Bases, September 3--6, 1991, Barcelona, Catalonia","author":"Sudarshan S.","year":"1991","unstructured":"S. Sudarshan and Raghu Ramakrishnan . Aggregation and relevance in deductive databases . In 17th International Conference on Very Large Data Bases, September 3--6, 1991, Barcelona, Catalonia , Spain, Proceedings , pages 501 -- 511 , 1991 . S. Sudarshan and Raghu Ramakrishnan. Aggregation and relevance in deductive databases. In 17th International Conference on Very Large Data Bases, September 3--6, 1991, Barcelona, Catalonia, Spain, Proceedings, pages 501--511, 1991."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00363ED1V01Y201105DTM018"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2595641"},{"key":"e_1_3_2_1_66_1","volume-title":"Technical report","author":"Tucker Pete","year":"2008","unstructured":"Pete Tucker , Kristin Tufte , Vassilis Papadimos , and David Maier . NEXMark-a benchmark for queries over data streams. Technical report , Technical report , OGI School of Science & Engineering , 2008 . Pete Tucker, Kristin Tufte, Vassilis Papadimos, and David Maier. NEXMark-a benchmark for queries over data streams. Technical report, Technical report, OGI School of Science & Engineering, 2008."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1198390"},{"volume-title":"https:\/\/apache.github.io\/incubator-heron\/","year":"2019","key":"e_1_3_2_1_68_1","unstructured":"Twitter. Heron. https:\/\/apache.github.io\/incubator-heron\/ , 2019 . [Online; accessed March 31, 2019]. Twitter. Heron. https:\/\/apache.github.io\/incubator-heron\/, 2019. [Online; accessed March 31, 2019]."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.15"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522737"}],"event":{"name":"SIGMOD\/PODS '21: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Virtual Event China","acronym":"SIGMOD\/PODS '21"},"container-title":["Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452021.3458317","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3452021.3458317","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452021.3458317","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452021.3458317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:00Z","timestamp":1750197780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452021.3458317"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,20]]},"references-count":71,"alternative-id":["10.1145\/3452021.3458317","10.1145\/3452021"],"URL":"https:\/\/doi.org\/10.1145\/3452021.3458317","relation":{},"subject":[],"published":{"date-parts":[[2021,6,20]]},"assertion":[{"value":"2021-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}