{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:13Z","timestamp":1772164033197,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T00:00:00Z","timestamp":1529366400000},"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":[[2018,6,19]]},"DOI":"10.1145\/3211332.3211334","type":"proceedings-article","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T15:49:37Z","timestamp":1528386577000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A memory-bounded, deterministic and terminating semantics for the synchronous programming language C\u00e9u"],"prefix":"10.1145","author":[{"given":"Rodrigo C. M.","family":"Santos","sequence":"first","affiliation":[{"name":"PUC-Rio, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilherme F.","family":"Lima","sequence":"additional","affiliation":[{"name":"PUC-Rio, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Sant'Anna","sequence":"additional","affiliation":[{"name":"Rio de Janeiro State University, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Ierusalimschy","sequence":"additional","affiliation":[{"name":"PUC-Rio, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward H.","family":"Haeusler","sequence":"additional","affiliation":[{"name":"PUC-Rio, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of ATEC\u201902","author":"A. Adya","year":"2002","unstructured":"A. Adya et al. 2002 . Cooperative Task Management Without Manual Stack Management . In Proceedings of ATEC\u201902 . USENIX Association, 289\u2013302. A. Adya et al. 2002. Cooperative Task Management Without Manual Stack Management. In Proceedings of ATEC\u201902. USENIX Association, 289\u2013302."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558636"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_4_1","volume-title":"FSTTCS (LNCS)","author":"Berry G\u00e9rard","unstructured":"G\u00e9rard Berry . 1993. Preemption in Concurrent Systems .. In FSTTCS (LNCS) , Vol. 761 . Springer , 72\u201393. G\u00e9rard Berry. 1993. Preemption in Concurrent Systems.. In FSTTCS (LNCS), Vol. 761. Springer, 72\u201393."},{"key":"e_1_3_2_1_5_1","unstructured":"G\u00e9rard Berry. 1999. The Constructive Semantics of Pure Esterel (draft version 3) . Ecole des Mines de Paris and INRIA.  G\u00e9rard Berry. 1999. The Constructive Semantics of Pure Esterel (draft version 3) . Ecole des Mines de Paris and INRIA."},{"key":"e_1_3_2_1_6_1","unstructured":"G\u00e9rard Berry. 2000. The Esterel-V5 Language Primer. CMA and Inria Sophia-Antipolis France. Version 5.10 Release 2.0.  G\u00e9rard Berry. 2000. The Esterel-V5 Language Primer. CMA and Inria Sophia-Antipolis France. Version 5.10 Release 2.0."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210406"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Robert de Simone Jean-Pierre Talpin and Dumitru Potop-Butucaru. 2005. The Synchronous Hypothesis and Synchronous Languages. In Embedded Systems Handbook R. Zurawski (Ed.).  Robert de Simone Jean-Pierre Talpin and Dumitru Potop-Butucaru. 2005. The Synchronous Hypothesis and Synchronous Languages. In Embedded Systems Handbook R. Zurawski (Ed.).","DOI":"10.1201\/9781420038163.ch8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182811"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2007.4292873"},{"key":"e_1_3_2_1_14_1","unstructured":"ORACLE. 2011. Java Thread Primitive Deprecation. http: \/\/docs.oracle.com\/javase\/6\/docs\/technotes\/guides\/concurrency\/ threadPrimitiveDeprecation.html (accessed in Aug-2014). (2011).  ORACLE. 2011. Java Thread Primitive Deprecation. http: \/\/docs.oracle.com\/javase\/6\/docs\/technotes\/guides\/concurrency\/ threadPrimitiveDeprecation.html (accessed in Aug-2014). (2011)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577083"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035544"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2724525.2724571"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517351.2517360"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976796.2976856"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of FTRTFT\u201994 . Springer, 128\u2013148","author":"von der Beeck Michael","year":"1994","unstructured":"Michael von der Beeck . 1994 . A comparison of statecharts variants . In Proceedings of FTRTFT\u201994 . Springer, 128\u2013148 . Michael von der Beeck. 1994. A comparison of statecharts variants. In Proceedings of FTRTFT\u201994 . Springer, 128\u2013148."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629366"}],"event":{"name":"LCTES '18: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2018","location":"Philadelphia PA USA","acronym":"LCTES '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 19th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3211332.3211334","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3211332.3211334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:08:14Z","timestamp":1750194494000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3211332.3211334"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,19]]},"references-count":20,"alternative-id":["10.1145\/3211332.3211334","10.1145\/3211332"],"URL":"https:\/\/doi.org\/10.1145\/3211332.3211334","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3299710.3211334","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,19]]},"assertion":[{"value":"2018-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}