{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:02:21Z","timestamp":1746244941935,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548321"},{"type":"electronic","value":"9783642548338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54833-8_13","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:37:17Z","timestamp":1395394637000},"page":"229-248","source":"Crossref","is-referenced-by-count":10,"title":["Grounding Synchronous Deterministic Concurrency in Sequential Programming"],"prefix":"10.1007","author":[{"given":"Joaqu\u00edn","family":"Aguado","sequence":"first","affiliation":[]},{"given":"Michael","family":"Mendler","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[]},{"given":"Insa","family":"Fuhrmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/312009.312034","volume":"34","author":"P.B. Hansen","year":"1999","unstructured":"Hansen, P.B.: Java\u2019s insecure parallelism. SIGPLAN Not.\u00a034, 38\u201345 (1999)","journal-title":"SIGPLAN Not."},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. IEEE Computer\u00a039, 33\u201342 (2006)","journal-title":"IEEE Computer"},{"doi-asserted-by":"crossref","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: Lustre: a declarative language for programming synchronous systems. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 1987), Munich, Germany, pp. 178\u2013188. ACM (1987)","key":"13_CR3","DOI":"10.1145\/41625.41641"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P.L. Guernic","year":"1991","unstructured":"Guernic, P.L., Goutier, T., Borgne, M.L., Maire, C.L.: Programming real time applications with SIGNAL. Proceedings of the IEEE\u00a079, 1321\u20131336 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming\u00a019, 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Guernic, P.L., de Simone, R.: The Synchronous Languages Twelve Years Later. In: Proc. IEEE, Special Issue on Embedded Systems, Piscataway, NJ, USA, vol.\u00a091, pp. 64\u201383. IEEE (2003)","key":"13_CR6","DOI":"10.1109\/JPROC.2002.805826"},{"unstructured":"Andr\u00e9, C.: SyncCharts: A visual representation of reactive behaviors. Technical Report RR 95\u201352, rev. RR 96\u201356, I3S, Sophia-Antipolis, France (1996)","key":"13_CR7"},{"unstructured":"Schneider, K.: The synchronous programming language Quartz. Internal report, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany (2010), http:\/\/es.cs.uni-kl.de\/publications\/datarsg\/Schn09.pdf","key":"13_CR8"},{"doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., Mendler, M., Aguado, J., Duderstadt, B., Fuhrmann, I., Motika, C., Mercer, S., O\u2019Brien, O., Roop, P.: Sequentially Constructive Concurrency\u2014A conservative extension of the synchronous model of computation. Technical Report 1308, Christian-Albrechts-Universit\u00e4t zu Kiel, Department of Computer Science (2013) ) ISSN 2192-6247","key":"13_CR9","DOI":"10.7873\/DATE.2013.128"},{"doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., Mendler, M., Aguado, J., Duderstadt, B., Fuhrmann, I., Motika, C., Mercer, S., O\u2019Brien, O.: Sequentially Constructive Concurrency\u2014A conservative extension of the synchronous model of computation. In: Proc. Design, Automation and Test in Europe Conference (DATE 2013), Grenoble, France, pp. 581\u2013586. IEEE (2013)","key":"13_CR10","DOI":"10.7873\/DATE.2013.128"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","volume-title":"Proof, Language, and Interaction: Essays in Honour of Robin Milner","author":"G. Berry","year":"2000","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, Cambridge (2000)"},{"doi-asserted-by":"crossref","unstructured":"Schneider, K., Wenz, M.: A new method for compiling schizophrenic synchronous programs. In: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Atlanta, Georgia, USA, pp. 49\u201358. ACM (2001)","key":"13_CR12","DOI":"10.1145\/502225.502226"},{"unstructured":"Tardieu, O., de Simone, R.: Curing schizophrenia by program rewriting in Esterel. In: Proceedings of the Second ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2004), San Diego, CA, USA (2004)","key":"13_CR13"},{"doi-asserted-by":"crossref","unstructured":"Aguado, J., Mendler, M., von Hanxleden, R., Fuhrmann, I.: Grounding synchronous deterministic concurrency in sequential programming. Technical report, Christian-Albrechts-Universit\u00e4t zu Kiel, Department of Computer Science (2014) ISSN 2192-6247","key":"13_CR14","DOI":"10.1007\/978-3-642-54833-8_13"},{"unstructured":"Berry, G.: The Constructive Semantics of Pure Esterel. Draft Book, Version 3.0, Centre de Math\u00e9matiques Appliq\u00e9es, Ecole des Mines de Paris and INRIA, 2004 route des Lucioles, 06902 Sophia-Antipolis CDX, France (2002), http:\/\/www-sop.inria.fr\/members\/Gerard.Berry\/Papers\/EsterelConstructiveBook.zip","key":"13_CR15"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10703-012-0144-6","volume":"40","author":"M. Mendler","year":"2012","unstructured":"Mendler, M., Shiple, T.R., Berry, G.: Constructive boolean circuits and the exactness of timed ternary simulation. Formal Methods in System Design\u00a040, 283\u2013329 (2012)","journal-title":"Formal Methods in System Design"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/762488.762489","volume":"8","author":"S.A. Edwards","year":"2003","unstructured":"Edwards, S.A.: Tutorial: Compiling concurrent languages for sequential processors. ACM Transactions on Design Automation of Electronic Systems\u00a08, 141\u2013187 (2003)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"13_CR18","volume-title":"Compiling Esterel","author":"D. Potop-Butucaru","year":"2007","unstructured":"Potop-Butucaru, D., Edwards, S.A., Berry, G.: Compiling Esterel, vol.\u00a086. Springer, P.O. Box 17, 3300 AA Dordrecht, The Netherlands (2007)"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1002\/spe.4380210406","volume":"21","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F.: Reactive C: An extension of C to program reactive systems. Software Practice and Experience\u00a021, 401\u2013428 (1991)","journal-title":"Software Practice and Experience"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1002\/cpe.919","volume":"18","author":"F. Boussinot","year":"2006","unstructured":"Boussinot, F.: Fairthreads: mixing cooperative and preemptive threads in C. Concurrency and Computation: Practice and Experience\u00a018, 445\u2013469 (2006)","journal-title":"Concurrency and Computation: Practice and Experience"},{"doi-asserted-by":"crossref","unstructured":"Andalam, S., Roop, P.S., Girault, A.: Deterministic, predictable and light-weight multithreading using pret-c. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2010), Dresden, Germany, pp. 1653\u20131656 (2010)","key":"13_CR21","DOI":"10.1109\/DATE.2010.5457078"},{"doi-asserted-by":"crossref","unstructured":"von Hanxleden, R.: SyncCharts in C\u2014A Proposal for Light-Weight, Deterministic Concurrency. In: Proceedings of the International Conference on Embedded Software (EMSOFT 2009), Grenoble, France, pp. 225\u2013234. ACM (2009)","key":"13_CR22","DOI":"10.1145\/1629335.1629366"},{"doi-asserted-by":"crossref","unstructured":"Tardieu, O., Edwards, S.A.: Scheduling-independent threads and exceptions in SHIM. In: Proceedings of the International Conference on Embedded Software (EMSOFT 2006), Seoul, South Korea, pp. 142\u2013151. ACM (2006)","key":"13_CR23","DOI":"10.1145\/1176887.1176908"},{"key":"13_CR24","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River (1985)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-642-15769-1_28","volume-title":"Static Analysis","author":"M. Vechev","year":"2010","unstructured":"Vechev, M., Yahav, E., Raman, R., Sarkar, V.: Automatic verification of determinism for structured parallel programs. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol.\u00a06337, pp. 455\u2013471. Springer, Heidelberg (2010)"},{"key":"13_CR26","first-page":"383","volume-title":"Programming Language Design and Implementation, PLDI 2012","author":"A. Leung","year":"2012","unstructured":"Leung, A., Gupta, M., Agarwal, Y., Gupta, R., Jhala, R., Lerner, S.: Verifying GPU kernels by test amplification. In: Programming Language Design and Implementation, PLDI 2012, pp. 383\u2013394. ACM, New York (2012)"},{"key":"13_CR27","first-page":"23","volume-title":"Principles and Practice of Parallel Programming, PPoPP 2013","author":"T. Yuki","year":"2013","unstructured":"Yuki, T., Feautrier, P., Rajopadye, S., Saraswat, V.: Array dataflow analysis for polyhedral X10 programs. In: Principles and Practice of Parallel Programming, PPoPP 2013, pp. 23\u201334. ACM, New York (2013)"},{"doi-asserted-by":"crossref","unstructured":"Kuper, L., Turon, A., Krishnaswami, N.R., Newton, R.R.: Freeze after writing: Quasi-deterministic parallel programming with LVars. In: Principles of Programming Languages, POPL 2014. ACM, New York (2014)","key":"13_CR28","DOI":"10.1145\/2535838.2535842"},{"key":"13_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4210-9","volume-title":"Asynchronous Circuits","author":"J.A. Brzozowski","year":"1995","unstructured":"Brzozowski, J.A., Seger, C.J.H.: Asynchronous Circuits. Springer, New York (1995)"},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1109\/43.293952","volume":"13","author":"S. Malik","year":"1994","unstructured":"Malik, S.: Analysis of cyclic combinational circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a013, 950\u2013956 (1994)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"Shiple, T.R., Berry, G., Touati, H.: Constructive Analysis of Cyclic Circuits. In: Proc. European Design and Test Conference (ED&TC 1996), Paris, France, Los Alamitos, California, USA, pp. 328\u2013333. IEEE Computer Society Press (1996)","key":"13_CR31","DOI":"10.1109\/EDTC.1996.494321"},{"unstructured":"Schneider, K., Brandt, J., Sch\u00fcle, T., T\u00fcrk, T.: Improving constructiveness in code generators. In: Maraninchi, F., Pouzet, M., Roy, V. (eds.) Int\u2019l Workshop on Synchronous Languages, Applications, and Programming, SLAP 2005, Edinburgh, Scotland, UK. ENTCS, pp. 1\u201319 (2005)","key":"13_CR32"},{"key":"13_CR33","first-page":"169","volume-title":"ACM SIGPLAN Int. Symp. on Principles and Practice of Declarative Programming, PPDP 2013","author":"L. Mandel","year":"2013","unstructured":"Mandel, L., Pasteur, C., Pouzet, M.: Time refinement in a functional synchronous language. In: ACM SIGPLAN Int. Symp. on Principles and Practice of Declarative Programming, PPDP 2013, pp. 169\u2013180. ACM, New York (2013)"},{"doi-asserted-by":"crossref","unstructured":"Gem\u00fcnde, M.: Clock Refinement in Imperative Synchronous Languages. PhD thesis, University of Kaiserslautern (2013)","key":"13_CR34","DOI":"10.1186\/1687-3963-2013-3"},{"doi-asserted-by":"crossref","unstructured":"Schneider, K., Brandt, J., Schuele, T.: Causality analysis of synchronous programs with delayed actions. In: Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Washington, D.C., USA, pp. 179\u2013189. ACM (2004)","key":"13_CR35","DOI":"10.1145\/1023833.1023859"},{"doi-asserted-by":"crossref","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. In: Proceedings of the IEEE, vol.\u00a075, pp. 1235\u20131245. IEEE Computer Society Press (1987)","key":"13_CR36","DOI":"10.1109\/PROC.1987.13876"},{"doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Lee, E.A.: The Semantics and Execution of a Synchronous Block-Diagram Language. In: Science of Computer Programming, vol.\u00a048, Elsevier (2003), http:\/\/www1.cs.columbia.edu\/~sedwards\/papers\/edwards2003semantics.pdf","key":"13_CR37","DOI":"10.1016\/S0167-6423(02)00096-5"},{"doi-asserted-by":"crossref","unstructured":"Pouzet, M., Raymond, P.: Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. In: EMSOFT, pp. 215\u2013224 (2009)","key":"13_CR38","DOI":"10.1145\/1629335.1629365"},{"key":"13_CR39","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1016\/j.tcs.2010.09.007","volume":"241","author":"J. Aguado","year":"2011","unstructured":"Aguado, J., Mendler, M.: Constructive semantics for instantaneous reactions. Theoretical Computer Science\u00a0241, 931\u2013961 (2011)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54833-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:45:49Z","timestamp":1746157549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54833-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548321","9783642548338"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54833-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}