{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:29Z","timestamp":1750306769247,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T00:00:00Z","timestamp":1384128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"SAAB (Sweden)"},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["257007"],"award-info":[{"award-number":["257007"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,11]]},"DOI":"10.1145\/2517351.2517360","type":"proceedings-article","created":{"date-parts":[[2013,10,22]],"date-time":"2013-10-22T13:42:56Z","timestamp":1382449376000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Safe system-level concurrency on resource-constrained nodes"],"prefix":"10.1145","author":[{"given":"Francisco","family":"Sant'Anna","sequence":"first","affiliation":[{"name":"PUC-Rio, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noemi","family":"Rodriguez","sequence":"additional","affiliation":[{"name":"PUC-Rio, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Ierusalimschy","sequence":"additional","affiliation":[{"name":"PUC-Rio, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Landsiedel","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippas","family":"Tsigas","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"289","volume-title":"ATEC'02","author":"Adya A.","year":"2002","unstructured":"A. Adya Cooperative task management without manual stack management . In ATEC'02 , pages 289 -- 302 . USENIX Association , 2002 . A. Adya et al. Cooperative task management without manual stack management. In ATEC'02, pages 289--302. USENIX Association, 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.66"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461381.2461403"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-57529-4_44","volume-title":"FSTTCS","author":"Berry G.","year":"1993","unstructured":"G. Berry . Preemption in concurrent systems . In FSTTCS , volume 761 of Lecture Notes in Computer Science , pages 72 -- 93 . Springer , 1993 . G. Berry. Preemption in concurrent systems. In FSTTCS, volume 761 of Lecture Notes in Computer Science, pages 72--93. Springer, 1993."},{"key":"e_1_3_2_1_6_1","volume-title":"Sophia-Antipolis","author":"Berry G.","year":"2000","unstructured":"G. Berry . The Esterel-V5 Language Primer. CMA and Inria , Sophia-Antipolis , France , June 2000 . Version 5.10, Release 2.0. G. Berry. The Esterel-V5 Language Primer. CMA and Inria, Sophia-Antipolis, France, June 2000. Version 5.10, Release 2.0."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1160162.1160178"},{"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":"publisher","DOI":"10.1145\/1322263.1322283"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4304\/jnw.3.3.57-70"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182811"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5637"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3390\/s110605900"},{"key":"e_1_3_2_1_15_1","unstructured":"FreeRTOS. FreeRTOS homepage. http:\/\/www.freertos.org.  FreeRTOS. FreeRTOS homepage. http:\/\/www.freertos.org."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/941350.941372"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644038.1644040"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/356989.356998"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031515"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2007.4292873"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147695"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644038.1644052"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_1_25_1","first-page":"207","volume-title":"Proceedings of OSDI'12","author":"Levis P.","year":"2012","unstructured":"P. Levis . Experiences from a decade of TinyOS development . In Proceedings of OSDI'12 , pages 207 -- 220 , Berkeley, CA, USA , 2012 . USENIX Association. P. Levis. Experiences from a decade of TinyOS development. In Proceedings of OSDI'12, pages 207--220, Berkeley, CA, USA, 2012. USENIX Association."},{"key":"e_1_3_2_1_26_1","first-page":"2","volume-title":"Proceedings of NSDI'04","volume":"4","author":"Levis P.","year":"2004","unstructured":"P. Levis : A self-regulating mechanism for code propagation and maintenance in wireless networks . In Proceedings of NSDI'04 , volume 4 , page 2 , 2004 . P. Levis et al. Trickle: A self-regulating mechanism for code propagation and maintenance in wireless networks. In Proceedings of NSDI'04, volume 4, page 2, 2004."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182825"},{"key":"e_1_3_2_1_28_1","unstructured":"ORACLE. Java thread primitive deprecation. http:\/\/docs.oracle.com\/javase\/6\/docs\/technotes\/guides\/concurrency\/threadPrimitiveDeprecation.html 2011.  ORACLE. Java thread primitive deprecation. http:\/\/docs.oracle.com\/javase\/6\/docs\/technotes\/guides\/concurrency\/threadPrimitiveDeprecation.html 2011."},{"key":"e_1_3_2_1_29_1","volume-title":"Embedded Systems Handbook.","author":"D.","year":"2005","unstructured":"D. Potop-Butucaru et al. The synchronous hypothesis and synchronous languages . In R. Zurawski, editor, Embedded Systems Handbook. 2005 . D. Potop-Butucaru et al. The synchronous hypothesis and synchronous languages. In R. Zurawski, editor, Embedded Systems Handbook. 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1098918.1098939"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182834"},{"key":"e_1_3_2_1_32_1","volume-title":"http:\/\/docs.tinyos.net\/tinywiki\/index.php\/TEPs","author":"Ps OS","year":"2013","unstructured":"Tiny OS TE Ps . http:\/\/docs.tinyos.net\/tinywiki\/index.php\/TEPs , 2013 . TinyOS TEPs. http:\/\/docs.tinyos.net\/tinywiki\/index.php\/TEPs, 2013."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167515.1167489"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031498"}],"event":{"name":"SenSys '13: The 11th ACM Conference on Embedded Network Sensor Systems","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Roma Italy","acronym":"SenSys '13"},"container-title":["Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517351.2517360","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2517351.2517360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:54Z","timestamp":1750231734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517351.2517360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,11]]},"references-count":34,"alternative-id":["10.1145\/2517351.2517360","10.1145\/2517351"],"URL":"https:\/\/doi.org\/10.1145\/2517351.2517360","relation":{},"subject":[],"published":{"date-parts":[[2013,11,11]]},"assertion":[{"value":"2013-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}