{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:08Z","timestamp":1750307588655,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,12]],"date-time":"2009-10-12T00:00:00Z","timestamp":1255305600000},"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":[[2009,10,12]]},"DOI":"10.1145\/1629335.1629366","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"225-234","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["SyncCharts in C"],"prefix":"10.1145","author":[{"given":"Reinhard","family":"von Hanxleden","sequence":"first","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the Fourth World Conference on Integrated Design and Process Technology (IDPT '99)","author":"Ali J.","year":"2000","unstructured":"J. Ali and J. Tanaka . Converting Statecharts into Java code . In Proceedings of the Fourth World Conference on Integrated Design and Process Technology (IDPT '99) , Dallas, Texas , June 2000 . Society for Design and Process Science (SDPS). J. Ali and J. Tanaka. Converting Statecharts into Java code. In Proceedings of the Fourth World Conference on Integrated Design and Process Technology (IDPT '99), Dallas, Texas, June 2000. Society for Design and Process Science (SDPS)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.05.007"},{"key":"e_1_3_2_1_4_1","volume-title":"Compiling with Continuations","author":"Appel A. W.","year":"2007","unstructured":"A. W. Appel . Compiling with Continuations . Cambridge University Press , 2007 . A. W. Appel. Compiling with Continuations. Cambridge University Press, 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v18:5"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'09)","author":"Cucinotta T.","year":"2009","unstructured":"T. Cucinotta , D. Faggioli , and A. Evangelista . Exception-based management of timing constraints violations for soft real-time applications . In Proceedings of the International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'09) , Dublin, Ireland , June 2009 . T. Cucinotta, D. Faggioli, and A. Evangelista. Exception-based management of timing constraints violations for soft real-time applications. In Proceedings of the International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'09), Dublin, Ireland, June 2009."},{"key":"e_1_3_2_1_7_1","volume-title":"Article ID 52651, 31 pages","author":"Edwards S. A.","year":"2007","unstructured":"S. A. Edwards and J. Zeng . Code generation in the Columbia Esterel Compiler. EURASIP Journal on Embedded Systems , Article ID 52651, 31 pages , 2007 . S. A. Edwards and J. Zeng. Code generation in the Columbia Esterel Compiler. EURASIP Journal on Embedded Systems, Article ID 52651, 31 pages, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210406"},{"key":"e_1_3_2_1_9_1","first-page":"30","volume-title":"IEEE Real-Time Systems Symposium","author":"Berry S. M. G.","year":"1983","unstructured":"S. M. G. Berry and J.-P. Rigault . Esterel : Towards a synchronous and semantically sound high-level language for real-time applications . In IEEE Real-Time Systems Symposium , pages 30 -- 40 , 1983 . IEEE Catalog 83CH 1941-4. S. M. G. Berry and J.-P. Rigault. Esterel: Towards a synchronous and semantically sound high-level language for real-time applications. In IEEE Real-Time Systems Symposium, pages 30--40, 1983. IEEE Catalog 83CH1941-4."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_11_1","first-page":"993","volume-title":"IFIP Congress","author":"Kahn G.","year":"1977","unstructured":"G. Kahn and D. B. MacQueen . Coroutines and networks of parallel processes . In IFIP Congress , pages 993 -- 998 , 1977 . G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In IFIP Congress, pages 993--998, 1977."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309989"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168896"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450095.1450117"},{"key":"e_1_3_2_1_16_1","volume-title":"Aussois","author":"Mendler M.","year":"2008","unstructured":"M. Mendler and M. Pouzet . Uniform and modular composition of data-flow&amp;control-flow in the lazy B-calculus. Presentation at the International Open Workshop on Synchronous Programming (SYNCHRON'08) , Aussois , France , Dec. 2008 . M. Mendler and M. Pouzet. Uniform and modular composition of data-flow&amp;control-flow in the lazy B-calculus. Presentation at the International Open Workshop on Synchronous Programming (SYNCHRON'08), Aussois, France, Dec. 2008."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874644"},{"key":"e_1_3_2_1_18_1","volume-title":"Compiling Esterel","author":"Potop-Butucaru D.","year":"2007","unstructured":"D. Potop-Butucaru , S. A. Edwards , and G. Berry . Compiling Esterel . Springer , May 2007 . D. Potop-Butucaru, S. A. Edwards, and G. Berry. Compiling Esterel. Springer, May 2007."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134650.1134667"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394159"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629395.1629424"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017793"},{"key":"e_1_3_2_1_24_1","volume-title":"Newnes","author":"Samek M.","year":"2008","unstructured":"M. Samek . Practical UML Statecharts in C\/C++ Event-Driven Programming for Embedded Systems . Newnes , 2008 . M. Samek. Practical UML Statecharts in C\/C++ Event-Driven Programming for Embedded Systems. Newnes, 2008."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176908"},{"key":"e_1_3_2_1_28_1","first-page":"28","article-title":"Reactive processing for reactive systems","volume":"66","author":"von Hanxleden R.","year":"2006","unstructured":"R. von Hanxleden , X. Li , P. Roop , Z. Salcic , and L. H. Yoong . Reactive processing for reactive systems . ERCIM News , 66 : 28 -- 29 , Oct. 2006 . R. von Hanxleden, X. Li, P. Roop, Z. Salcic, and L. H. Yoong. Reactive processing for reactive systems. ERCIM News, 66:28--29, Oct. 2006.","journal-title":"ERCIM News"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1208781"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780755"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of Model Driven High-Level Programming of Embedded Systems (SLA++P'08)","author":"Yuan S.","year":"2008","unstructured":"S. Yuan , S. Andalam , L. H. Yoong , P. S. Roop , and Z. Salcic . STARPro-a new multithreaded direct execution platform for Esterel . In Proceedings of Model Driven High-Level Programming of Embedded Systems (SLA++P'08) , Budapest, Hungary , Apr. 2008 . S. Yuan, S. Andalam, L. H. Yoong, P. S. Roop, and Z. Salcic. STARPro-a new multithreaded direct execution platform for Esterel. In Proceedings of Model Driven High-Level Programming of Embedded Systems (SLA++P'08), Budapest, Hungary, Apr. 2008."}],"event":{"name":"ESWeek '09: Fifth Embedded Systems Week","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Grenoble France","acronym":"ESWeek '09"},"container-title":["Proceedings of the seventh ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629335.1629366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:26Z","timestamp":1750250486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629366"}},"subtitle":["a proposal for light-weight, deterministic concurrency"],"short-title":[],"issued":{"date-parts":[[2009,10,12]]},"references-count":27,"alternative-id":["10.1145\/1629335.1629366","10.1145\/1629335"],"URL":"https:\/\/doi.org\/10.1145\/1629335.1629366","relation":{},"subject":[],"published":{"date-parts":[[2009,10,12]]},"assertion":[{"value":"2009-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}