{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:51Z","timestamp":1750219791542,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["101093006"],"award-info":[{"award-number":["101093006"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3604917","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1475-1478","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms"],"prefix":"10.1145","author":[{"given":"Roland","family":"Kuhn","sequence":"first","affiliation":[{"name":"Actyx, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Darmasaputra","sequence":"additional","affiliation":[{"name":"Actyx, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Actyx AG. 2020-2022. Actyx developer website. https:\/\/developer.actyx.com accessed 2023-05-18 \t\t\t\t  Actyx AG. 2020-2022. Actyx developer website. https:\/\/developer.actyx.com accessed 2023-05-18"},{"key":"e_1_3_2_1_2_1","unstructured":"Actyx AG. 2020\u20132023. Actyx Pond library. https:\/\/www.npmjs.com\/package\/@actyx\/pond\/v\/3.4.0 \t\t\t\t  Actyx AG. 2020\u20132023. Actyx Pond library. https:\/\/www.npmjs.com\/package\/@actyx\/pond\/v\/3.4.0"},{"key":"e_1_3_2_1_3_1","unstructured":"Actyx AG. 2023. @actyx\/machine-check library. https:\/\/www.npmjs.com\/package\/@actyx\/machine-check\/v\/0.2.0 \t\t\t\t  Actyx AG. 2023. @actyx\/machine-check library. https:\/\/www.npmjs.com\/package\/@actyx\/machine-check\/v\/0.2.0"},{"key":"e_1_3_2_1_4_1","unstructured":"Actyx AG. 2023. @actyx\/machine-runner library. https:\/\/www.npmjs.com\/package\/@actyx\/machine-runner\/v\/0.3.1 \t\t\t\t  Actyx AG. 2023. @actyx\/machine-runner library. https:\/\/www.npmjs.com\/package\/@actyx\/machine-runner\/v\/0.3.1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_7_1","unstructured":"Roland Kuhn. 2021. Local-First Cooperation. https:\/\/www.infoq.com\/articles\/local-first-cooperation\/ \t\t\t\t  Roland Kuhn. 2021. Local-First Cooperation. https:\/\/www.infoq.com\/articles\/local-first-cooperation\/"},{"key":"e_1_3_2_1_8_1","unstructured":"Roland Kuhn Hern\u00e1n Melgratti and Emilio Tuosto. 2023. Behavioural Types for Local-First Software. arxiv:2305.04848. To appear in ECOOP \t\t\t\t  Roland Kuhn Hern\u00e1n Melgratti and Emilio Tuosto. 2023. Behavioural Types for Local-First Software. arxiv:2305.04848. To appear in ECOOP"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3335772.3335934"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00265"},{"key":"e_1_3_2_1_11_1","unstructured":"Microsoft. 2012-2023. TypeScript: JavaScript with Syntax for Types. https:\/\/www.typescriptlang.org\/ \t\t\t\t  Microsoft. 2012-2023. TypeScript: JavaScript with Syntax for Types. https:\/\/www.typescriptlang.org\/"},{"key":"e_1_3_2_1_12_1","unstructured":"STATELY. 2023. XState website. https:\/\/xstate.js.org\/docs\/ accessed 2023-05-18 \t\t\t\t  STATELY. 2023. XState website. https:\/\/xstate.js.org\/docs\/ accessed 2023-05-18"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2019.8919675"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Seattle WA USA","acronym":"ISSTA '23"},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604917","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3604917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:59Z","timestamp":1750178279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":13,"alternative-id":["10.1145\/3597926.3604917","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3604917","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}