{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:09Z","timestamp":1740099069459,"version":"3.37.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319898834"},{"type":"electronic","value":"9783319898841"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89884-1_4","type":"book-chapter","created":{"date-parts":[[2018,4,14]],"date-time":"2018-04-14T01:02:32Z","timestamp":1523667752000},"page":"86-113","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach"],"prefix":"10.1007","author":[{"given":"Joaqu\u00edn","family":"Aguado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mendler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"issue":"5","key":"4_CR1","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E Lee","year":"2006","unstructured":"Lee, E.: The problem with threads. Computer 39(5), 33\u201342 (2006)","journal-title":"Computer"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","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., Guernic, P.L., de Simone, R.: The synchronous languages twelve years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o, J., Pagano, B., Pouzet, M.: SCADE 6: a formal language for embedded critical software development. In: TASE 2017, Sophia Antipolis, France, September 2017","DOI":"10.1109\/TASE.2017.8285623"},{"key":"4_CR4","unstructured":"Berry, G.: The Constructive Semantics of Pure Esterel. Draft Book (1999)"},{"key":"4_CR5","unstructured":"Schneider, K.: The synchronous programming language quartz. Internal report 375, Department of Computer Science, University of Kaiserslautern, Germany, December 2009"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"von Hanxleden, R.: SyncCharts in C \u2013 a proposal for light-weight, deterministic concurrency. In: EMSOFT 2009, Grenoble, France, pp. 225\u2013234, October 2009","DOI":"10.1145\/1629335.1629366"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"PL Guernic","year":"1991","unstructured":"Guernic, P.L., Goutier, T., Borgne, M.L., Maire, C.L.: Programming real time applications with SIGNAL. Proc. IEEE 79, 1321\u20131336 (1991)","journal-title":"Proc. IEEE"},{"issue":"9","key":"4_CR8","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"4_CR9","unstructured":"Pouzet, M.: Lucid Synchrone, un langage synchrone d\u2019ordre sup\u00e9rieur. M\u00e9moire d\u2019habilitation, Universit\u00e9 Paris 6, November 2002"},{"key":"4_CR10","unstructured":"The Esterel v7 Reference Manual Version v7_30, November 2005"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1016\/j.tcs.2010.09.007","volume":"412","author":"J Aguado","year":"2011","unstructured":"Aguado, J., Mendler, M.: Constructive semantics for instantaneous reactions. Theor. Comput. Sci. 412, 931\u2013961 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-54833-8_13","volume-title":"Programming Languages and Systems","author":"J Aguado","year":"2014","unstructured":"Aguado, J., Mendler, M., von Hanxleden, R., Fuhrmann, I.: Grounding synchronous deterministic concurrency in sequential programming. In: Shao, Z. (ed.) ESOP 2014. LNCS, vol. 8410, pp. 229\u2013248. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54833-8_13"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.scico.2014.04.009","volume":"96","author":"J Talpin","year":"2014","unstructured":"Talpin, J., Brandt, J., Gem\u00fcnde, M., Schneider, K., Shukla, S.: Constructive polychronous systems. Sci. Comput. Prog. 96(3), 377\u2013394 (2014)","journal-title":"Sci. Comput. Prog."},{"issue":"4s","key":"4_CR14","first-page":"144:1","volume":"13","author":"R Hanxleden von","year":"2014","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. ACM TECS 13(4s), 144:1\u2013144:26 (2014)","journal-title":"ACM TECS"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s10617-010-9053-3","volume":"14","author":"M Pouzet","year":"2010","unstructured":"Pouzet, M., Raymond, P.: Modular static scheduling of synchronous data-flow networks - an efficient symbolic representation. Des. Autom. Embed. Syst. 14(3), 165\u2013192 (2010)","journal-title":"Des. Autom. Embed. Syst."},{"key":"4_CR16","unstructured":"Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress 1974, Stockholm, Sweden, pp. 471\u2013475, August 1974"},{"key":"4_CR17","unstructured":"Aguado, J., Mendler, M., Pouzet, M., Roop, P., von Hanxleden, R.: Clock-synchronised shared objects for deterministic concurrency. Research report 102, University of Bamberg, Germany, July 2017. https:\/\/www.uni-bamberg.de\/fileadmin\/uni\/fakultaeten\/wiai_professuren\/grundlagen_informatik\/papersMM\/report-WIAI-102-Feb-2018.pdf"},{"issue":"2","key":"4_CR18","first-page":"33:1","volume":"17","author":"K Rathlev","year":"2018","unstructured":"Rathlev, K., Smyth, S., Motika, C., von Hanxleden, R., Mendler, M.: SCEst: sequentially constructive esterel. ACM TECS 17(2), 33:1\u201333:26 (2018)","journal-title":"ACM TECS"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-28869-2_4","volume-title":"Programming Languages and Systems","author":"S Burckhardt","year":"2012","unstructured":"Burckhardt, S., Leijen, D., F\u00e4hndrich, M., Sagiv, M.: Eventually consistent transactions. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 67\u201386. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28869-2_4"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Caspi, P., Cola$$\\tilde{{\\rm c}}$$c~o, J., G\u00e9rard, L., Pouzet, M., Raymond, P.: Synchronous objects with scheduling policies: introducing safe shared memory in lustre. In: LCTES 2009, Dublin, Ireland, pp. 11\u201320, June 2009","DOI":"10.1145\/1542452.1542455"},{"key":"4_CR21","unstructured":"Vasudevan, N.: Efficient, deterministic and deadlock-free concurrency. Ph.D. thesis, Department of Computer Science, Columbia University, March 2011"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/982962.964012","volume":"39","author":"Denis Caromel","year":"2004","unstructured":"Caromel, D., Henrio, L., Serpette, B.: Asynchronous and deterministic objects. In: POPL 2004, Venice, Italy, pp. 123\u2013134, January 2004","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR23","unstructured":"Kahn, G., MacQueen, D.: Coroutines and networks of parallel processes. In: IFIP Congress 1977, Toronto, Canada, pp. 993\u2013998, August 1977"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA 2005, San Diego, USA, pp. 519\u2013538, October 2005","DOI":"10.1145\/1094811.1094852"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Bocchino, R., Adve, V., Dig, D., Adve, S., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A type and effect system for deterministic parallel Java. In: OOPSLA 2009, Orlando, USA, pp. 97\u2013116, October 2009","DOI":"10.1145\/1640089.1640097"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI 2003, San Diego, USA, pp. 338\u2013349, June 2003","DOI":"10.1145\/781131.781169"},{"issue":"10","key":"4_CR27","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/1639949.1640096","volume":"44","author":"Emery D. Berger","year":"2009","unstructured":"Berger, E., Yang, T., Liu, T., Novark, G.: Grace: safe multithreaded programming for C\/C++. In: OOPSLA 2009, Orlando, USA, pp. 81\u201396, October 2009","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kuper, L., Turon, A., Krishnaswami, N., Newton, R.: Freeze after writing: quasi-deterministic parallel programming with LVars. In: POPL 2014, San Diego, USA, pp. 257\u2013270, January 2014","DOI":"10.1145\/2535838.2535842"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Haller, P., Geries, S., Eichberg, M., Salvaneschi, G.: Reactive Async: expressive deterministic concurrency. In: SCALA 2016, Amsterdam, Netherlands, pp. 11\u201320, October 2016","DOI":"10.1145\/2998392.2998396"},{"issue":"9\u201310","key":"4_CR30","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/BF02997708","volume":"51","author":"F Boussinot","year":"1996","unstructured":"Boussinot, F., Doumenc, G., Stefani, J.: Reactive objects. Annales des t\u00e9l\u00e9communications 51(9\u201310), 459\u2013473 (1996)","journal-title":"Annales des t\u00e9l\u00e9communications"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Talpin, J., Benveniste, A., Caillaud, B., Jard, C., Bouziane, Z., Canon, H.: BDL, a language of distributed reactive objects. In: IEEE ISORC 1998, Kyoto, Japan, pp. 196\u2013205, April 1998","DOI":"10.1109\/ISORC.1998.666789"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-45800-X_15","volume-title":"UML 2002 \u2014 The Unified Modeling Language","author":"C Andr\u00e9","year":"2002","unstructured":"Andr\u00e9, C., Peraldi-Frati, M.-A., Rigault, J.-P.: Integrating the synchronous paradigm into UML: application to control-dominated systems. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 163\u2013178. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45800-X_15"},{"issue":"3","key":"4_CR33","first-page":"417","volume":"31","author":"C Andr\u00e9","year":"1997","unstructured":"Andr\u00e9, C., Boulanger, F., P\u00e9raldi, M., Rigault, J., Vidal-Naquet, G.: Objects and synchronous programming. RAIRO-APII-JESA-J. Eur. Syst. Autom. 31(3), 417\u2013432 (1997)","journal-title":"RAIRO-APII-JESA-J. Eur. Syst. Autom."},{"issue":"4","key":"4_CR34","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1145\/296333.296334","volume":"3","author":"C Passerone","year":"1998","unstructured":"Passerone, C., Sansoe, C., Lavagno, L., McGeer, R., Martin, J., Passerone, R., Sangiovanni-Vincentelli, A.: Modeling reactive systems in Java. ACM TODAES 3(4), 515\u2013523 (1998)","journal-title":"ACM TODAES"},{"issue":"4","key":"4_CR35","first-page":"256","volume":"22","author":"F Boussinot","year":"1996","unstructured":"Boussinot, F., Simone, R.D.: The SL synchronous language. IEEE TSE 22(4), 256\u2013266 (1996)","journal-title":"IEEE TSE"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Biernacki, D., Cola\u00e7o, J., Hamon, G., Pouzet, M.: Clock-directed modular code generation of synchronous data-flow languages. In: LCTES 2008, Tucson, USA, pp. 121\u2013130, June 2008","DOI":"10.1145\/1375657.1375674"},{"key":"4_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1836","DOI":"10.1007\/3-540-48118-4_47","volume-title":"FM\u201999 \u2014 Formal Methods","author":"O Hainque","year":"1999","unstructured":"Hainque, O., Pautet, L., Le Biannic, Y., Nassor, \u00c9.: Cronos: a separate compilation tool set for modular Esterel applications. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1836\u20131853. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48118-4_47"},{"issue":"6","key":"4_CR38","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/2666356.2594310","volume":"49","author":"R Hanxleden von","year":"2014","unstructured":"von Hanxleden, R., Duderstadt, B., Motika, C., Smyth, S., Mendler, M., Aguado, J., Mercer, S., O\u2019Brien, O.: SCCharts: sequentially constructive statecharts for safety-critical applications. SIGPLAN Not. 49(6), 372\u2013383 (2014)","journal-title":"SIGPLAN Not."},{"key":"4_CR39","unstructured":"Andr\u00e9, C.: Semantics of SyncCharts. Technical report ISRN I3S\/RR-2003-24-FR, I3S Laboratory, Sophia-Antipolis, France, April 2003"},{"issue":"4","key":"4_CR40","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s00236-015-0238-x","volume":"52","author":"J Aguado","year":"2015","unstructured":"Aguado, J., Mendler, M., von Hanxleden, R., Fuhrmann, I.: Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. Acta Informatica 52(4), 393\u2013442 (2015)","journal-title":"Acta Informatica"}],"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-319-89884-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T16:13:18Z","timestamp":1660925598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89884-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319898834","9783319898841"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89884-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}