{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T23:22:17Z","timestamp":1789514537201,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642357213","type":"print"},{"value":"9783642357220","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35722-0_24","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:16:29Z","timestamp":1357298189000},"page":"335-349","source":"Crossref","is-referenced-by-count":7,"title":["Constructive Polychronous Systems"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jens","family":"Brandt","sequence":"additional","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","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 425\u2013454. MIT Press (1998)","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"24_CR2","unstructured":"Schneider, K.: The synchronous programming language Quartz. Internal Report 375, Department of Computer Science, University of Kaiserslautern (December 2009)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Halbwachs, N.: A synchronous language at work: the story of Lustre. In: Formal Methods and Models for Codesign (MEMOCODE), pp. 3\u201311. IEEE Computer Society (2005)","DOI":"10.1109\/MEMCOD.2005.1487884"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Titzer, B., Palsberg, J.: Nonintrusive precision instrumentation of microcontroller software. In: Paek, Y., Gupta, R. (eds.) Languages, Compilers, and Tools for Embedded Systems (LCTES), Chicago, Illinois, USA, pp. 59\u201368. ACM (2005)","DOI":"10.1145\/1065910.1065919"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF02811340","volume":"17","author":"G. Berry","year":"1992","unstructured":"Berry, G.: A hardware implementation of pure Esterel. Sadhana\u00a017(1), 95\u2013130 (1992)","journal-title":"Sadhana"},{"key":"24_CR6","unstructured":"Rocheteau, F., Halbwachs, N.: Pollux: A Lustre-based hardware design environment. In: Quinton, P., Robert, Y. (eds.) Algorithms and Parallel VLSI Architectures II, Gers, France, pp. 335\u2013346. Elsevier (1992)"},{"key":"24_CR7","doi-asserted-by":"publisher","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.: A verified compiler for synchronous programs with local declarations. Electronic Notes in Theoretical Computer Science\u00a0153, 71\u201397 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"24_CR8","unstructured":"Logothetis, G., Schneider, K.: Exact high level WCET analysis of synchronous programs by symbolic state space exploration. In: Design, Automation and Test in Europe (DATE), pp. 10196\u201310203. IEEE Computer Society (2003)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Boldt, M., Traulsen, C., von Hanxleden, R.: Compilation and worst-case reaction time analysis for multithreaded Esterel processing. EURASIP Journal on Embedded Systems (2008)","DOI":"10.1155\/2008\/594129"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Stok, L.: False loops through resource sharing. In: International Conference on Computer-Aided Design (ICCAD), pp. 345\u2013348. IEEE Computer Society (1992)","DOI":"10.1109\/ICCAD.1992.279349"},{"key":"24_CR11","unstructured":"Berry, G.: The constructive semantics of pure Esterel (July 1996), http:\/\/www-sop.inria.fr\/meije\/esterel\/esterel-eng.html"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Shiple, T., Berry, G., Touati, H.: Constructive analysis of cyclic circuits. In: European Design Automation Conference (EDAC), Paris, France, pp. 328\u2013333. IEEE Computer Society (1996)","DOI":"10.1109\/EDTC.1996.494321"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Edwards, S.: Making cyclic circuits acyclic. In: Design Automation Conference (DAC), Anaheim, California, USA, pp. 159\u2013162. ACM (2003)","DOI":"10.1145\/775870.775874"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Schneider, K., Brandt, J., Schuele, T.: Causality analysis of synchronous programs with delayed actions. In: Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Washington, District of Columbia, USA, pp. 179\u2013189. ACM (2004)","DOI":"10.1145\/1023833.1023859"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Brzozowski, J., Seger, C.J.: Asynchronous Circuits. Springer (1995)","DOI":"10.1007\/978-1-4612-4210-9"},{"issue":"9","key":"24_CR16","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"Le Guernic, P., Gauthier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proceedings of the IEEE\u00a079(9), 1321\u20131336 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"24_CR17","unstructured":"Le Guernic, P., Benveniste, A.: Real-time, synchronous, data-flow programming: The language SIGNAL and its mathematical semantics. Research Report 533, INRIA (June 1986)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Besnard, L., Gautier, T., Le Guernic, P., Talpin, J.P.: Compilation of polychronous data flow equations. In: Shukla, S., Talpin, J.P. (eds.) Synthesis of Embedded Software \u2013 Frameworks and Methodologies for Correctness by Construction. Springer (2010)","DOI":"10.1007\/978-1-4419-6400-7_1"},{"issue":"2","key":"24_CR19","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/T-C.1970.222884","volume":"C-19","author":"W. Kautz","year":"1970","unstructured":"Kautz, W.: The necessity of closed circuit loops in minimal combinational circuits. IEEE Transactions on Computers (T-C)\u00a0C-19(2), 162\u2013166 (1970)","journal-title":"IEEE Transactions on Computers (T-C)"},{"issue":"6","key":"24_CR20","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1109\/TC.1977.1674886","volume":"C-26","author":"R. Rivest","year":"1977","unstructured":"Rivest, R.: The necessity of feedback in minimal monotone combinational circuits. IEEE Transactions on Computers (T-C)\u00a0C-26(6), 606\u2013607 (1977)","journal-title":"IEEE Transactions on Computers (T-C)"},{"issue":"7","key":"24_CR21","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1109\/43.293952","volume":"13","author":"S. Malik","year":"1994","unstructured":"Malik, S.: Analysis of cycle combinational circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (T-CAD)\u00a013(7), 950\u2013956 (1994)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (T-CAD)"},{"issue":"2","key":"24_CR22","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/TC.1984.1676408","volume":"C-33","author":"R. Bryant","year":"1984","unstructured":"Bryant, R.: A switch level model and simulator for MOS digital systems. IEEE Transactions on Computers (T-C)\u00a0C-33(2), 160\u2013177 (1984)","journal-title":"IEEE Transactions on Computers (T-C)"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Schneider, K., Brandt, J., Schuele, T., Tuerk, T.: Maximal causality analysis. In: Desel, J., Watanabe, Y. (eds.) Application of Concurrency to System Design (ACSD), Saint-Malo, France, pp. 106\u2013115. IEEE Computer Society (2005)","DOI":"10.1109\/ACSD.2005.24"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"Jose, B., Gamatie, A., Ouy, J., Shukla, S.: SMT based false causal loop detection during code synthesis from polychronous specifications. In: Singh, S. (ed.) Formal Methods and Models for Codesign (MEMOCODE), Cambridge, UK, pp. 109\u2013118. IEEE Computer Society (2011)","DOI":"10.1109\/MEMCOD.2011.5970517"},{"key":"24_CR25","unstructured":"Nanjundappa, M., Kracht, M., Ouy, J., Shukla, S.: Synthesizing embedded software with safety wrappers through polyhedral analysis in a polychronous framework. In: Electronic System Level Synthesis Conference (ESLsyn), pp. 1\u20136 (2012)"},{"issue":"2","key":"24_CR26","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05(2), 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"key":"24_CR27","unstructured":"Brandt, J., Schneider, K.: Separate translation of synchronous programs to guarded actions. Internal Report 382\/11, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany (March 2011)"},{"key":"24_CR28","unstructured":"SYNCHRON: The common format of synchronous languages - the declarative code DC. Technical report, C2A-SYNCHRON project (1998)"},{"issue":"8","key":"24_CR29","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. Dijkstra","year":"1975","unstructured":"Dijkstra, E.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM (CACM)\u00a018(8), 453\u2013457 (1975)","journal-title":"Communications of the ACM (CACM)"},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"Chandy, K., Misra, J.: Parallel Program Design. Addison-Wesley (May 1989)","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"24_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","volume-title":"Computer Aided Verification","author":"D. Dill","year":"1996","unstructured":"Dill, D.: The Mur\u03c6 Verification System. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 390\u2013393. Springer, Heidelberg (1996)"},{"key":"24_CR32","doi-asserted-by":"crossref","unstructured":"Gamati\u00e9, A., Gautier, T., Le Guernic, P., Talpin, J.: Polychronous design of embedded real-time applications. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(2) (2007)","DOI":"10.1145\/1217295.1217298"},{"issue":"3","key":"24_CR33","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P. Le Guernic","year":"2003","unstructured":"Le Guernic, P., Talpin, J.P., Le Lann, J.C.: Polychrony for system design. Journal of Circuits, Systems, and Computers (JCSC)\u00a012(3), 261\u2013304 (2003)","journal-title":"Journal of Circuits, Systems, and Computers (JCSC)"},{"issue":"1-2","key":"24_CR34","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3233\/FI-2011-415","volume":"108","author":"D. Potop-Butucaru","year":"2011","unstructured":"Potop-Butucaru, D., Sorel, Y., de Simone, R., Talpin, J.P.: Correct-by-construction asynchronous implementation of modular synchronous specifications. Fundamenta Informaticae\u00a0108(1-2), 91\u2013118 (2011)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35722-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:00:39Z","timestamp":1745942439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35722-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357213","9783642357220"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35722-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}