{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T17:04:34Z","timestamp":1756573474967,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-17-CE25-0003"],"award-info":[{"award-number":["ANR-17-CE25-0003"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,4,25]]},"DOI":"10.1145\/3477314.3507271","type":"proceedings-article","created":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T00:37:36Z","timestamp":1651883856000},"page":"1248-1257","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Synchronous semantics of multi-mode multi-periodic systems"],"prefix":"10.1145","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Fort","sequence":"first","affiliation":[{"name":"Univ. Lille, Lille, France"}]},{"given":"Julien","family":"Forget","sequence":"additional","affiliation":[{"name":"Univ. Lille, Lille, France"}]}],"member":"320","published-online":{"date-parts":[[2022,5,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.29"},{"key":"e_1_3_2_1_3_1","unstructured":"Alan Burns and Andrew J Wellings. 2001. Real-time systems and programming languages: Ada 95 real-time Java and real-time POSIX. Pearson Education."},{"key":"e_1_3_2_1_4_1","volume-title":"Synchronous functional programming: The lucid synchrone experiment. Real-Time Systems: Description and Verification Techniques: Theory and Tools. Hermes","author":"Caspi Paul","year":"2008","unstructured":"Paul Caspi, Gr\u00e9goire Hamon, and Marc Pouzet. 2008. Synchronous functional programming: The lucid synchrone experiment. Real-Time Systems: Description and Verification Techniques: Theory and Tools. Hermes (2008), 28--41."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/232629.232651"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086261"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","key":"e_1_3_2_1_7_1","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337--340."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"Jana Dunfield and Neel Krishnaswami. 2021. Bidirectional Typing. ACM Comput. Surv. 54 5 Article 98 (May 2021) 38 pages. 10.1145\/3450952","DOI":"10.1145\/3450952"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.47"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_1_13_1","volume-title":"The semantics of a simple language for parallel programming. Information processing 74","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn. 1974. The semantics of a simple language for parallel programming. Information processing 74 (1974), 471--475."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(03)00100-X"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569613"},{"key":"e_1_3_2_1_16_1","volume-title":"Multi-task implementation of multi-periodic synchronous programs. Discrete event dynamic systems 21, 3","author":"Pagetti Claire","year":"2011","unstructured":"Claire Pagetti, Julien Forget, Fr\u00e9d\u00e9ric Boniol, Mikel Cordovilla, and David Lesens. 2011. Multi-task implementation of multi-periodic synchronous programs. Discrete event dynamic systems 21, 3 (2011), 307--338."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_1_19_1","volume-title":"Mode change protocols for real-time systems: A survey and a new proposal. Real-time systems 26, 2","author":"Real Jorge","year":"2004","unstructured":"Jorge Real and Alfons Crespo. 2004. Mode change protocols for real-time systems: A survey and a new proposal. Real-time systems 26, 2 (2004), 161--197."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375602"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176900"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340465"},{"volume-title":"Formal techniques in real-time and fault-tolerant systems","author":"der Beeck Michael Von","key":"e_1_3_2_1_23_1","unstructured":"Michael Von der Beeck. 1994. A comparison of statecharts variants. In Formal techniques in real-time and fault-tolerant systems. Springer, 128--148."}],"event":{"name":"SAC '22: The 37th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event","acronym":"SAC '22"},"container-title":["Proceedings of the 37th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507271","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477314.3507271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:30Z","timestamp":1750188630000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":23,"alternative-id":["10.1145\/3477314.3507271","10.1145\/3477314"],"URL":"https:\/\/doi.org\/10.1145\/3477314.3507271","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]},"assertion":[{"value":"2022-05-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}