{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:03:31Z","timestamp":1750309411119,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"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":[[2024,9,11]]},"DOI":"10.1145\/3650212.3685555","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1909-1911","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Decentralized Near-Synchronous Local-First Programming Collaboration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-4063-4396","authenticated-orcid":false,"given":"Leon","family":"Freudenthaler","sequence":"first","affiliation":[{"name":"FH Campus Wien, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.33"},{"key":"e_1_3_2_1_2_1","unstructured":"Paulo S\u00e9rgio Almeida. 2023. Approaches to Conflict-free Replicated Data Types. Oct. arxiv:2310.18220. arxiv:2310.18220"},{"key":"e_1_3_2_1_3_1","unstructured":"M. Benner-Wickner R. Kneuper and I. Schl\u00f6mer. 2020. Leitfaden f\u00fcr die Nutzung von Design Science Research in Abschlussarbeiten. IUBH Internationale Hochschule. https:\/\/books.google.at\/books?id=dABRzgEACAAJ"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"C. A. Ellis and S. J. Gibbs. 1989. Concurrency control in groupware systems. SIGMOD Rec. 18 2 (1989) jun 399\u2013407. issn:0163-5808 https:\/\/doi.org\/10.1145\/66926.66963 10.1145\/66926.66963","DOI":"10.1145\/66926.66963"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133933"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Abdessamad Imine Pascal Molli G\u00e9rald Oster and Michael Rusinowitch. 2003. Proving Correctness of Transformation Functions in Real-Time Groupware. 277\u2013293. isbn:978-94-010-3994-9 https:\/\/doi.org\/10.1007\/978-94-010-0068-0_15 10.1007\/978-94-010-0068-0_15","DOI":"10.1007\/978-94-010-0068-0_15"},{"key":"e_1_3_2_1_7_1","volume-title":"Guidelines for performing Systematic Literature Reviews in Software Engineering. 2","author":"Kitchenham Barbara","year":"2007","unstructured":"Barbara Kitchenham and Stuart Charters. 2007. Guidelines for performing Systematic Literature Reviews in Software Engineering. 2 (2007), 01."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031607.1031683"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10606-005-9009-5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3555644"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5220\/0011278800003266"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/215585.215706"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494266.2494278"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/COLCOM.2006.361867"},{"key":"e_1_3_2_1_15_1","unstructured":"G\u00e9rald Oster Pascal Urso Pascal Molli and Abdessamad Imine. 2006. Proving correctness of transformation functions in collaborative editing systems. 04."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2753\/MIS0742-1222240302"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2009.20"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.107.5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2308203"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/240080.240305"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.12.006"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/266838.267369"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2010.5472013"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/289444.289469"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/274444.274447"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3392825"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","unstructured":"Nicolas Vidot Mich\u00e8le Cart Jean Ferri\u00e9 and Maher Suleiman. 2000. Copies convergence in a distributed real-time collaborative environment. 171\u2013180. https:\/\/doi.org\/10.1145\/358916.358988 10.1145\/358916.358988","DOI":"10.1145\/358916.358988"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Vienna Austria","acronym":"ISSTA '24"},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685555","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3685555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:09Z","timestamp":1750294689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":27,"alternative-id":["10.1145\/3650212.3685555","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3685555","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}