{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:52Z","timestamp":1772164012978,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T00:00:00Z","timestamp":1271116800000},"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":[[2010,4,13]]},"DOI":"10.1145\/1755888.1755896","type":"proceedings-article","created":{"date-parts":[[2010,4,16]],"date-time":"2010-04-16T10:28:35Z","timestamp":1271413715000},"page":"47-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Translating concurrent action oriented specifications to synchronous guarded actions"],"prefix":"10.1145","author":[{"given":"Jens","family":"Brandt","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, VA, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,4,13]]},"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","volume-title":"Workshop on Formal Methods in VLSI Design","author":"Berry G.","year":"1991","unstructured":"G. Berry . A hardware implementation of pure Esterel . In Workshop on Formal Methods in VLSI Design , Miami, Florida , 1991 . G. Berry. A hardware implementation of pure Esterel. In Workshop on Formal Methods in VLSI Design, Miami, Florida, 1991."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/265408.265411"},{"key":"e_1_3_2_1_4_1","series-title":"ACM International Conference Proceeding Series","first-page":"1","volume-title":"Software and Compilers for Embedded Systems (SCOPES)","author":"Brandt J.","year":"2009","unstructured":"J. Brandt and K. Schneider . Separate compilation of synchronous programs . In Software and Compilers for Embedded Systems (SCOPES) , volume 320 of ACM International Conference Proceeding Series , pages 1 -- 10 , Nice, France , 2009 . ACM. J. Brandt and K. Schneider. Separate compilation of synchronous programs. In Software and Compilers for Embedded Systems (SCOPES), volume 320 of ACM International Conference Proceeding Series, pages 1--10, Nice, France, 2009. ACM."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/59087"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371249"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","volume-title":"Computer Aided Verification (CAV)","author":"Dill D.","year":"1996","unstructured":"D. Dill . The Murphi verification system . In R. Alur and T. Henzinger, editors, Computer Aided Verification (CAV) , volume 1102 of LNCS , pages 390 -- 393 , New Brunswick, NJ , USA, 1996 . Springer . D. Dill. The Murphi verification system. In R. Alur and T. Henzinger, editors, Computer Aided Verification (CAV), volume 1102 of LNCS, pages 390--393, New Brunswick, NJ, USA, 1996. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.833614"},{"key":"e_1_3_2_1_11_1","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"Holzmann G.","year":"2004","unstructured":"G. Holzmann . The Spin Model Checker: Primer and Reference Manual . Addison-Wesley , 2004 . G. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_15_1","volume-title":"Conference on Algorithms and Parallel VLSI Architectures II, Chateau de Bonas","author":"Rocheteau F.","year":"1991","unstructured":"F. Rocheteau and N. Halbwachs . Pollux, a Lustre-based hardware design environment. In P. Quinton and Y. Robert, editors , Conference on Algorithms and Parallel VLSI Architectures II, Chateau de Bonas , 1991 . F. Rocheteau and N. Halbwachs. Pollux, a Lustre-based hardware design environment. In P. Quinton and Y. Robert, editors, Conference on Algorithms and Parallel VLSI Architectures II, Chateau de Bonas, 1991."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996583"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/784820.784830"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"314","volume-title":"V","author":"Schneider K.","year":"2002","unstructured":"K. Schneider . Proving the equivalence of microstep and macrostep semantics. In V . Carre\u00f1o, C. Mu\u00f1oz, and S. Tahar, editors, Theorem Proving in Higher Order Logics (TPHOL), volume 2410 of LNCS , pages 314 -- 331 , Hampton, VA, USA, 2002 . Springer . K. Schneider. Proving the equivalence of microstep and macrostep semantics. In V. Carre\u00f1o, C. Mu\u00f1oz, and S. Tahar, editors, Theorem Proving in Higher Order Logics (TPHOL), volume 2410 of LNCS, pages 314--331, Hampton, VA, USA, 2002. Springer."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2008.4574599"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023833.1023859"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.24"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.028"},{"key":"e_1_3_2_1_25_1","volume-title":"International Journal of Embedded Systems (IJES), 3(1\/2):83--92","author":"Singh G.","year":"2007","unstructured":"G. Singh and S. Shukla . Algorithms for low power hardware synthesis from concurrent action oriented specifications CAOS . International Journal of Embedded Systems (IJES), 3(1\/2):83--92 , 2007 . G. Singh and S. Shukla. Algorithms for low power hardware synthesis from concurrent action oriented specifications CAOS. International Journal of Embedded Systems (IJES), 3(1\/2):83--92, 2007."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85114-1_18"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067915.1067920"}],"event":{"name":"LCTES '10: ACM SIGPLAN\/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Stockholm Sweden","acronym":"LCTES '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the ACM SIGPLAN\/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755888.1755896","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1755888.1755896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:45:31Z","timestamp":1750236331000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755888.1755896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,13]]},"references-count":23,"alternative-id":["10.1145\/1755888.1755896","10.1145\/1755888"],"URL":"https:\/\/doi.org\/10.1145\/1755888.1755896","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1755951.1755896","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,4,13]]},"assertion":[{"value":"2010-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}