{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,15]],"date-time":"2026-10-15T16:31:01Z","timestamp":1792081861782,"version":"4.4.0"},"reference-count":69,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,7,6]],"date-time":"2012-07-06T00:00:00Z","timestamp":1341532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s10617-012-9087-9","type":"journal-article","created":{"date-parts":[[2012,7,5]],"date-time":"2012-07-05T16:29:49Z","timestamp":1341505789000},"page":"63-97","source":"Crossref","is-referenced-by-count":7,"title":["Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions"],"prefix":"10.1007","volume":"18","author":[{"given":"Jens","family":"Brandt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mike","family":"Gem\u00fcnde","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,7,6]]},"reference":[{"key":"9087_CR1","first-page":"249","volume-title":"Formal methods and models for codesign (MEMOCODE)","author":"Arvind","year":"2003","unstructured":"Arvind (2003) Bluespec: a language for hardware design, simulation, synthesis and verification invited talk. In: Formal methods and models for codesign (MEMOCODE), Mont Saint-Michel, France. IEEE Comput Soc, New York, pp 249\u2013254"},{"key":"9087_CR2","unstructured":"Benveniste A, Bournai P, Gautier T, Le Guernic P (1985) SIGNAL: A data flow oriented language for signal processing. Research report 378, INRIA, Rennes, France"},{"key":"9087_CR3","first-page":"255","volume-title":"Embedded software (EMSOFT)","author":"A Benveniste","year":"2005","unstructured":"Benveniste A, Caillaud B, Carloni LP, Sangiovanni-Vincentelli AL (2005) Tag machines. In: Wolf W (ed) Embedded software (EMSOFT), Jersey City, New Jersey, USA. ACM, New York, pp 255\u2013263"},{"issue":"1","key":"9087_CR4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64\u201383","journal-title":"Proc IEEE"},{"key":"9087_CR5","volume-title":"Formal methods in VLSI design","author":"G Berry","year":"1991","unstructured":"Berry G (1991) A hardware implementation of pure Esterel. In: Formal methods in VLSI design, Miami, Florida, USA"},{"key":"9087_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-35064-6_1","volume-title":"International conference on hardware description languages and their applications (CHDL)","author":"G Berry","year":"1997","unstructured":"Berry G (1997) Synchronous languages for hardware and software reactive systems. In: Delgado Kloos C, Cerny E (eds) International conference on hardware description languages and their applications (CHDL), Toledo, Spaine. Chapman & Hall, London, p 3"},{"key":"9087_CR7","volume-title":"Proof, language and interaction: essays in honour of Robin Milner","author":"G Berry","year":"1998","unstructured":"Berry G (1998) The foundations of Esterel. In: Plotkin G, Stirling C, Tofte M (eds) Proof, language and interaction: essays in honour of Robin Milner. MIT Press, Cambridge"},{"key":"9087_CR8","unstructured":"Berry G (1999) The constructive semantics of pure Esterel"},{"key":"9087_CR9","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-15670-4_19","volume-title":"Seminar on concurrency (CONCUR)","author":"G Berry","year":"1985","unstructured":"Berry G, Cosserat L (1985) The Esterel synchronous programming language and its mathematical semantics. In: Brookes SD, Roscoe AW, Winskel G (eds) Seminar on concurrency (CONCUR), Pittsburgh, Pennsylvania, USA. LNCS, vol 197. Springer, Berlin, pp 389\u2013448"},{"key":"9087_CR10","first-page":"20101","volume-title":"Design, automation and test in Europe (DATE)","author":"M Bombana","year":"2003","unstructured":"Bombana M, Bruschi F (2003) SystemC-VHDL co-simulation and synthesis in the HW domain. In: Design, automation and test in Europe (DATE), Munich, Germany. IEEE Comput Soc, New York, pp\u00a020101\u201320105"},{"issue":"9","key":"9087_CR11","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F Boussinot","year":"1991","unstructured":"Boussinot F, de Simone R (1991) The Esterel language. Proc IEEE 79(9):1293\u20131304","journal-title":"Proc IEEE"},{"key":"9087_CR12","first-page":"187","volume-title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","author":"J Brandt","year":"2010","unstructured":"Brandt J, Gem\u00fcnde M, Schneider K (2010) From synchronous guarded actions to SystemC. In: Dietrich M (ed) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, pp 187\u2013196. Fraunhofer Verlag"},{"key":"9087_CR13","first-page":"1","volume-title":"Forum on specification and design languages (FDL)","author":"J Brandt","year":"2011","unstructured":"Brandt J, Gem\u00fcnde M, Schneider K, Shukla S, Talpin J-P (2011) Integrating system descriptions by clocked guarded actions. In: Morawiec A, Hinderscheit J, Ghenassia O (eds) Forum on specification and design languages (FDL), Oldenburg, Germany. IEEE Comput Soc, New York, pp 1\u20138"},{"key":"9087_CR14","unstructured":"Brandt J, Schneider K (2011) Separate translation of synchronous programs to guarded actions. Internal report 382\/11, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany"},{"key":"9087_CR15","unstructured":"Brandt J, Schneider K, Edwards SA (2012) Translating SHIM to guarded actions. Technical report 387\/12. University of Kaiserslautern, Kaiserslautern, Germany"},{"key":"9087_CR16","first-page":"47","volume-title":"Languages, compilers, and tools for embedded systems (LCTES)","author":"J Brandt","year":"2010","unstructured":"Brandt J, Schneider K, Shukla SK (2010) Translating concurrent action oriented specifications to synchronous guarded actions. In: Lee J, Childers BR (eds) Languages, compilers, and tools for embedded systems (LCTES), Stockholm, Sweden. ACM, New York, pp 47\u201356"},{"key":"9087_CR17","first-page":"178","volume-title":"Principles of programming languages (POPL)","author":"P Caspi","year":"1987","unstructured":"Caspi P, Halbwachs N, Pilaud D, Plaice JA (1987) LUSTRE: A declarative language for programming synchronous systems. In: Principles of programming languages (POPL), Munich, Germany. ACM, New York, pp 178\u2013188"},{"key":"9087_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, Berlin","edition":"2"},{"key":"9087_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9668-0_6","volume-title":"Parallel program design","author":"KM Chandy","year":"1989","unstructured":"Chandy KM, Misra J (1989) Parallel program design. Addison-Wesley, Austin"},{"key":"9087_CR20","volume-title":"Hardware-software codesign (CODES)","author":"A Chatelain","year":"2001","unstructured":"Chatelain A, Mathys Y, Placido G, La Rosa A, Lavagno L (2001) High-level architectural co-simulation using Esterel and C. In: Hardware-software codesign (CODES), Copenhagen, Denmark"},{"key":"9087_CR21","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/BFb0012855","volume-title":"Conference on automated deduction (CADE)","author":"N Dershowitz","year":"1988","unstructured":"Dershowitz N, Okada M, Sivakumar G (1988) Canonical conditional rewrite systems. In: Lusk EL, Overbeek RA (eds) Conference on automated deduction (CADE), Argonne, Illinois, USA. LNCS, vol 310. Springer, Berlin, pp 538\u2013549"},{"issue":"8","key":"9087_CR22","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra EW (1975) Guarded commands, nondeterminacy and formal derivation of programs. Commun ACM 18(8):453\u2013457","journal-title":"Commun ACM"},{"key":"9087_CR23","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":"DL Dill","year":"1996","unstructured":"Dill DL (1996) The Murphi verification system. In: Alur R, Henzinger TA (eds) Computer aided verification (CAV), New Brunswick, New Jersey, USA. LNCS, vol 1102. Springer, Berlin, pp 390\u2013393"},{"key":"9087_CR24","first-page":"264","volume-title":"Embedded software (EMSOFT)","author":"SA Edwards","year":"2005","unstructured":"Edwards SA, Tardieu O (2005) SHIM: a deterministic model for heterogeneous embedded systems. In: Wolf W (ed) Embedded software (EMSOFT), Jersey City, New Jersey, USA. ACM, New York, pp 264\u2013272"},{"key":"9087_CR25","unstructured":"Eker J, Janneck JW (2002) CAL actor language\u2014language report. EECS Department, University of California at Berkeley"},{"issue":"1","key":"9087_CR26","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker J, Janneck JW, Lee EA, Liu J, Liu X, Ludvig J, Neuendorffer S, Sachs S, Xiong Y (2003) Taming heterogeneity\u2014the Ptolemy approach. Proc IEEE 91(1):127\u2013144","journal-title":"Proc IEEE"},{"key":"9087_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0941-1","volume-title":"Designing embedded systems with the SIGNAL programming language","author":"A Gamatie","year":"2010","unstructured":"Gamatie A (2010) Designing embedded systems with the SIGNAL programming language. Springer, Berlin"},{"key":"9087_CR28","doi-asserted-by":"crossref","unstructured":"Gamati\u00e9 A, Gautier T, Le Guernic P, Talpin JP (2007) Polychronous design of embedded real-time applications. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(2)","DOI":"10.1145\/1217295.1217298"},{"issue":"6","key":"9087_CR29","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/43.766725","volume":"18","author":"A Girault","year":"1999","unstructured":"Girault A, Lee B, Lee EA (1999) Hierarchical finite state machines with multiple concurrency models. IEEE Trans Comput-Aided Des Integr Circuits Syst 18(6):742\u2013760","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9087_CR30","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/3-540-61464-8_56","volume-title":"Rewriting techniques and applications (RTA)","author":"B Gramlich","year":"1996","unstructured":"Gramlich B, Wirth C (1996) Confluence of terminating conditional rewrite systems revisited. In: Ganzinger H (ed) Rewriting techniques and applications (RTA), New Brunswick, New Jersey, USA. LNCS, vol 1103. Springer, Berlin, pp 245\u2013259"},{"key":"9087_CR31","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/3-540-45828-X_8","volume-title":"Embedded software (EMSOFT)","author":"G G\u00f6ssler","year":"2002","unstructured":"G\u00f6ssler G, Sangiovanni-Vincentelli A (2002) Compositional modeling in Metropolis. In: Sangiovanni-Vincentelli AL, Sifakis J (eds) Embedded software (EMSOFT), Grenoble, France. LNCS, vol 2491. Springer, Berlin, pp 93\u2013107"},{"key":"9087_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N (1993) Synchronous programming of reactive systems. Kluwer, Dordrecht"},{"key":"9087_CR33","unstructured":"Halbwachs N (1998) The declarative code DC, version 1.2a"},{"issue":"9","key":"9087_CR34","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The synchronous dataflow programming language LUSTRE. Proc IEEE 79(9):1305\u20131320","journal-title":"Proc IEEE"},{"issue":"4","key":"9087_CR35","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D Harel","year":"1996","unstructured":"Harel D, Naamad A (1996) The STATEMATE semantics of Statecharts. ACM Trans Softw Eng Methodol 5(4):293\u2013333","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"1","key":"9087_CR36","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1186\/1687-3963-2007-047580","volume":"2007","author":"C Haubelt","year":"2007","unstructured":"Haubelt C, Falk J, Keinert J, Schlichter T, Streub\u00fchr M, Deyhle A, Hadert A, Teich J (2007) A SystemC-based design methodology for digital signal processing systems. EURASIP J Embed Syst 2007(1):15","journal-title":"EURASIP J Embed Syst"},{"issue":"3","key":"9087_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1255456.1255459","volume":"12","author":"F Herrera","year":"2007","unstructured":"Herrera F, Villar E (2007) A framework for heterogeneous specification and design of electronic embedded systems in SystemC. ACM Trans Des Autom Electron Syst 12(3):1\u201331","journal-title":"ACM Trans Des Autom Electron Syst"},{"issue":"8","key":"9087_CR38","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21(8):666\u2013677","journal-title":"Commun ACM"},{"issue":"1","key":"9087_CR39","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1145\/357980.358021","volume":"26","author":"CAR Hoare","year":"1983","unstructured":"Hoare CAR (1983) Communicating sequential processes. Commun ACM 26(1):100\u2013106","journal-title":"Commun ACM"},{"key":"9087_CR40","doi-asserted-by":"crossref","unstructured":"Hoe JC, Arvind (1999) Hardware synthesis from term rewriting systems. Technical report CSG-MEMO 421-a, Computer Science and Artificial Intelligence Laboratory. Cambridge, Massachusetts, USA","DOI":"10.1007\/978-0-387-35498-9_52"},{"issue":"9","key":"9087_CR41","doi-asserted-by":"crossref","first-page":"1277","DOI":"10.1109\/TCAD.2004.833614","volume":"23","author":"JC Hoe","year":"2004","unstructured":"Hoe JC, Arvind (2004) Operation-centric hardware description and synthesis. IEEE Trans Comput-Aided Des Integr Circuits Syst 23(9):1277\u20131288","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9087_CR42","first-page":"1394","volume-title":"IEEE Std","author":"IEEE","year":"2005","unstructured":"IEEE (2005) IEEE standard hardware description language based on the Verilog hardware description language. In: IEEE Std, pp 1394\u20132005"},{"key":"9087_CR43","first-page":"1666","volume-title":"IEEE Std","author":"IEEE","year":"2005","unstructured":"IEEE (2005) IEEE standard SystemC language reference manual. In: IEEE Std, New York, New York, USA, December, pp 1666\u20132005"},{"key":"9087_CR44","first-page":"1076","volume-title":"IEEE Std","author":"IEEE","year":"2008","unstructured":"IEEE (2008) IEEE standard VHDL language reference manual. In: IEEE Std, pp 1076\u20132008"},{"key":"9087_CR45","volume-title":"Modeling embedded systems and SoCs","author":"A Jantsch","year":"2004","unstructured":"Jantsch A (2004) Modeling embedded systems and SoCs. Morgan Kaufmann, Los Altos"},{"key":"9087_CR46","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/ACSD.2006.14","volume-title":"Application of concurrency to system design (ACSD)","author":"A Jantsch","year":"2006","unstructured":"Jantsch A (2006) Models of computation for networks on chip. In: Application of concurrency to system design (ACSD), Turku, Finland. IEEE Comput Soc, New York, pp 165\u2013178"},{"key":"9087_CR47","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90087-2","volume":"33","author":"S Kaplan","year":"1984","unstructured":"Kaplan S (1984) Conditional rewrite rules. Theor Comput Sci 33:175\u2013193","journal-title":"Theor Comput Sci"},{"key":"9087_CR48","series-title":"LNCS","first-page":"32","volume-title":"Embedded software (EMSOFT)","author":"TJ Koo","year":"2002","unstructured":"Koo TJ, Liebman J, Ma C, Horowitz B, Sangiovanni-Vincentelli A, Sastry S (2002) Platform-based embedded software design for multi-vehicle multi-modal systems. In: Sangiovanni-Vincentelli AL, Sifakis\u00a0J (eds) Embedded software (EMSOFT), Grenoble, France. LNCS, vol 2491. Springer, Berlin, pp 32\u201345"},{"issue":"9","key":"9087_CR49","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P Le Guernic","year":"1991","unstructured":"Le Guernic P, Gauthier T, Le Borgne M, Le Maire C (1991) Programming real-time applications with SIGNAL. Proc IEEE 79(9):1321\u20131336","journal-title":"Proc IEEE"},{"issue":"1","key":"9087_CR50","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"EA Lee","year":"1987","unstructured":"Lee EA, Messerschmitt DG (1987) Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans Comput 36(1):24\u201335","journal-title":"IEEE Trans Comput"},{"issue":"9","key":"9087_CR51","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee EA, Messerschmitt DG (1987) Synchronous data flow. Proc IEEE 75(9):1235\u20131245","journal-title":"Proc IEEE"},{"issue":"5","key":"9087_CR52","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1109\/5.381846","volume":"83","author":"EA Lee","year":"1995","unstructured":"Lee EA, Parks T (1995) Dataflow process networks. Proc IEEE 83(5):773\u2013801","journal-title":"Proc IEEE"},{"key":"9087_CR53","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1109\/ICCAD.1996.569613","volume-title":"International conference on computer-aided design (ICCAD)","author":"EA Lee","year":"1996","unstructured":"Lee EA, Sangiovanni-Vincentelli A (1996) Comparing models of computation. In: International conference on computer-aided design (ICCAD), San Jose, California, USA. ACM\/IEEE Comput Soc, New York, pp 234\u2013241"},{"issue":"12","key":"9087_CR54","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"Lee EA, Sangiovanni-Vincentelli A (1998) A framework for comparing models of computation. IEEE Trans Comput-Aided Des Integr Circuits Syst 17(12):1217\u20131229","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9087_CR55","first-page":"389","volume-title":"Design automation conference (DAC)","author":"C Passerone","year":"1997","unstructured":"Passerone C, Lavagno L, Chiodo M, Sangiovanni-Vincentelli AL (1997) Fast Hardware\/Software co-simulation for virtual prototyping and trade-off analysis. In: Design automation conference (DAC), Anaheim, California, USA. ACM, New York, pp 389\u2013394"},{"issue":"4","key":"9087_CR56","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1109\/TCAD.2006.884859","volume":"26","author":"HD Patel","year":"2007","unstructured":"Patel HD, Shukla SK, Bergamaschi RA (2007) Heterogeneous behavioral hierarchy extensions for SystemC. IEEE Trans Comput-Aided Des Integr Circuits Syst 26(4):765\u2013780","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9087_CR57","unstructured":"Poign\u00e9 A, Holenderski L (1995) Boolean automata for implementing pure Esterel. In: Arbeitspapiere, vol 964. GMD, Sankt Augustin, Germany"},{"key":"9087_CR58","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BFb0031993","volume-title":"Real-time: theory in practice","author":"F Rocheteau","year":"1992","unstructured":"Rocheteau F, Halbwachs N (1992) Implementing reactive programs on circuits: a hardware implementation of LUSTRE. In: de Bakker JW, Huizing C, de Roever WP, Rozenberg G (eds) Real-time: theory in practice, Mook, The Netherlands. LNCS, vol 600. Springer, Berlin, pp 195\u2013208"},{"key":"9087_CR59","first-page":"439","volume-title":"Design automation conference (DAC)","author":"JA Rowson","year":"1994","unstructured":"Rowson JA (1994) Hardware\/Software co-simulation. In: Design automation conference (DAC), San Diego, California, USA. ACM, Berlin, pp 439\u2013440"},{"key":"9087_CR60","unstructured":"ESPRIT Project (1997) Safety critical embedded systems (SACRES). The declarative code DC+, version 1.4, November"},{"key":"9087_CR61","first-page":"10364","volume-title":"Design, automation and test in Europe (DATE)","author":"I Sander","year":"2003","unstructured":"Sander I, Jantsch A, Lu Z (2003) Development and application of design transformations in ForSyDe. In: Design, automation and test in Europe (DATE), Munich, Germany. IEEE Comput Soc, New York, pp 10364\u201310369"},{"key":"9087_CR62","first-page":"409","volume-title":"Design automation conference (DAC)","author":"AL Sangiovanni-Vincentelli","year":"2004","unstructured":"Sangiovanni-Vincentelli AL, Carloni LP, De Bernardinis F, Sgroi M (2004) Benefits and challenges for platform-based design. In: Malik S, Fix L, Kahng AB (eds) Design automation conference (DAC), San Diego, California, USA. ACM, New York, pp 409\u2013414"},{"key":"9087_CR63","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1109\/CSD.2001.981772","volume-title":"Application of concurrency to system design (ACSD)","author":"K Schneider","year":"2001","unstructured":"Schneider K (2001) Embedding imperative synchronous languages in interactive theorem provers. In: Application of concurrency to system design (ACSD), Newcastle Upon Tyne, England, UK. IEEE Comput Soc, New York, pp 143\u2013154"},{"key":"9087_CR64","unstructured":"Schneider K (2009) The synchronous programming language Quartz. Internal report 375. Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany, December"},{"issue":"4","key":"9087_CR65","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.entcs.2006.02.028","volume":"153","author":"K Schneider","year":"2006","unstructured":"Schneider K, Brandt J, Schuele T (2006) A verified compiler for synchronous programs with local declarations. Electron Notes Theor Comput Sci 153(4):71\u201397","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"1\/2","key":"9087_CR66","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1504\/IJES.2007.016036","volume":"3","author":"G Singh","year":"2007","unstructured":"Singh G, Shukla SK (2007) Algorithms for low power hardware synthesis from concurrent action oriented specifications CAOS. Int J Embed Syst 3(1\/2):83\u201392","journal-title":"Int J Embed Syst"},{"key":"9087_CR67","first-page":"149","volume-title":"Design automation conference (DAC)","author":"ARW Todesco","year":"1996","unstructured":"Todesco ARW, Meng THY (1996) Symphony: a simulation backplane for parallel mixed-mode co-simulation of VLSI systems. In: Design automation conference (DAC), Las Vegas, Nevada, USA. ACM, New York, pp 149\u2013154"},{"key":"9087_CR68","first-page":"119","volume-title":"Formal methods and models for codesign (MEMOCODE)","author":"C Zebelein","year":"2008","unstructured":"Zebelein C, Falk J, Haubelt C, Teich J (2008) Classification of general data flow actors into known models of computation. In: Formal methods and models for codesign (MEMOCODE), Anaheim, California, USA. IEEE Comput Soc, New York, pp 119\u2013128"},{"key":"9087_CR69","first-page":"690","volume-title":"Design automation conference (DAC)","author":"V Zivojnovic","year":"1996","unstructured":"Zivojnovic V, Meyr H (1996) Compiled HW\/SW co-simulation. In: Design automation conference (DAC), Las Vegas, Nevada, USA. ACM, New York, pp 690\u2013695."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9087-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-012-9087-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9087-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T02:34:35Z","timestamp":1687574075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-012-9087-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,6]]},"references-count":69,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9087"],"URL":"https:\/\/doi.org\/10.1007\/s10617-012-9087-9","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,6]]}}}