{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T19:40:02Z","timestamp":1748979602947,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395180"},{"type":"electronic","value":"9783319395197"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_15","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"245-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Sessions and Infinite Data"],"prefix":"10.1007","author":[{"given":"Paula","family":"Severi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Padovani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariangiola\u00a0","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Ariola, Z.M., Felleisen, M., Maraist, J., Odersky, M., Wadler, P.: The call-by-need lambda calculus. In: Cytron, R.K., Lee, P. (eds.) Proceedings of POPL 1995, pp. 233\u2013246. ACM Press (1995)","key":"15_CR1","DOI":"10.1145\/199448.199507"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418\u2013433. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Cave, A., Ferreira, F., Panangaden, P., Pientka, B.: Fair reactive programming. In: Jagannathan, S., Sewell, P. (eds.) Proceedings of POPL 2014, pp. 361\u2013372. ACM Press (2014)","key":"15_CR3","DOI":"10.1145\/2578855.2535881"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1017\/S0960129514000188","volume":"26","author":"M Coppo","year":"2016","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2), 238\u2013302 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-58085-9_72","volume-title":"Types for Proofs and Programs","author":"T Coquand","year":"1994","unstructured":"Coquand, T.: Infinite objects in type theory. In: Barendregt, H., Nipkow, T. (eds.) TYPES 1993. LNCS, vol. 806, pp. 62\u201378. Springer, Heidelberg (1994)"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B Courcelle","year":"1983","unstructured":"Courcelle, B.: Fundamental properties of infinite trees. Theoret. Comput. Sci. 25, 95\u2013169 (1983)","journal-title":"Theoret. Comput. Sci."},{"issue":"12","key":"15_CR7","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1007\/s00165-013-0284-5","volume":"26","author":"L Cruz-Filipe","year":"2014","unstructured":"Cruz-Filipe, L., Lanese, I., Martins, F., Ravara, A., Vasconcelos, V.: The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26(12), 865\u2013918 (2014)","journal-title":"Formal Aspects Comput."},{"doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic multirole session types. In: Ball, T., Sagiv, M. (eds.) Proceedings of POPL 2011, pp. 435\u2013446. ACM Press (2011)","key":"15_CR8","DOI":"10.1145\/1925844.1926435"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14458-5_1","volume-title":"Web Services and Formal Methods","author":"M Dezani-Ciancaglini","year":"2010","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Sessions and session types: an overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 1\u201328. Springer, Heidelberg (2010)"},{"issue":"1","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003329","volume":"9","author":"C Flanagan","year":"1999","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and an application. J. Funct. Program. 9(1), 1\u201331 (1999)","journal-title":"J. Funct. Program."},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1017\/S0956796809990268","volume":"20","author":"SJ Gay","year":"2010","unstructured":"Gay, S.J., Vasconcelos, V.T.: Linear type theory for asynchronous session types. J. Funct. Program. 20(1), 19\u201350 (2010)","journal-title":"J. Funct. Program."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J Hughes","year":"1989","unstructured":"Hughes, J.: Why functional programming matters. Comput. J. 32(2), 98\u2013107 (1989)","journal-title":"Comput. J."},{"doi-asserted-by":"crossref","unstructured":"Krishnaswami, N., Benton, N.: Ultrametric semantics of reactive programs. In: Grohe, M. (ed.) Proceedings of LICS 2011, pp. 257\u2013266. IEEE (2011)","key":"15_CR14","DOI":"10.1109\/LICS.2011.38"},{"doi-asserted-by":"crossref","unstructured":"Krishnaswami, N.R., Benton, N., Hoffmann, J.: Higher-order functional reactive programming in bounded space. In: Proceedings of POPL 2012, pp. 45\u201358. ACM Press (2012)","key":"15_CR15","DOI":"10.1145\/2103621.2103665"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1007\/978-3-662-46669-8_23","volume-title":"Programming Languages and Systems","author":"S Lindley","year":"2015","unstructured":"Lindley, S., Morris, J.G.: A semantics for propositions as sessions. In: Vitek, J. (ed.) ESOP 2015. LNCS, vol. 9032, pp. 560\u2013584. Springer, Heidelberg (2015)"},{"key":"15_CR17","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z Manna","year":"2012","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (2012)"},{"issue":"3","key":"15_CR18","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1017\/S0956796898003037","volume":"8","author":"J Maraist","year":"1998","unstructured":"Maraist, J., Odersky, M., Wadler, P.: The call-by-need lambda calculus. J. Funct. Program. 8(3), 275\u2013317 (1998)","journal-title":"J. Funct. Program."},{"doi-asserted-by":"crossref","unstructured":"Nakano, H.: A modality for recursion. In: Abadi, M. (ed.) Proceedings of LICS 2000, pp. 255\u2013266. IEEE (2000)","key":"15_CR19","DOI":"10.1109\/LICS.2000.855774"},{"doi-asserted-by":"crossref","unstructured":"Padovani, L.: Deadlock and lock freedom in the linear $$\\pi $$-calculus. In: Henzinger, T.A., Miller, D. (eds.) Proceedings of LICS 2014, pp. 72:1\u201372:10. ACM Press (2014)","key":"15_CR20","DOI":"10.1145\/2603088.2603116"},{"unstructured":"Peyton Jones, S.: Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In: Hoare, T., Broy, M., Steinbr\u00fcggen, R. (eds.) Engineering Theories of Software Construction, pp. 47\u201396. IOS Press (2001)","key":"15_CR21"},{"doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. In: Boehm, H., Steele Jr., G.L. (eds.) Proceedings of POPL 1996, pp. 295\u2013308. ACM Press (1996)","key":"15_CR22","DOI":"10.1145\/237721.237794"},{"doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Wadler, P.: Imperative functional programming. In: Deusen, M.S.V., Lang, B. (eds.) Proceedings of POPL 1993, pp. 71\u201384. ACM Press (1993)","key":"15_CR23","DOI":"10.1145\/158511.158524"},{"key":"15_CR24","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"doi-asserted-by":"crossref","unstructured":"Sabel, D., Schmidt-Schau\u00df, M.: A contextual semantics for concurrent Haskell with futures. In: Schneider-Kamp, P., Hanus, M. (eds.) Proceedings of PPDP 2011, pp. 101\u2013112. ACM Press (2011)","key":"15_CR25","DOI":"10.1145\/2003476.2003492"},{"doi-asserted-by":"crossref","unstructured":"Severi, P., de Vries, F.-J.: Pure type systems with corecursion on streams: from finite to infinitary normalisation. In: Thiemann, P., Findler, R.B. (eds.) Proceedings of ICFP 2012, pp. 141\u2013152. ACM Press (2012)","key":"15_CR26","DOI":"10.1145\/2398856.2364550"},{"unstructured":"Severi, P., Padovani, L., Tuosto, E., Dezani-Ciancaglini, M.: On sessions and infinite data. Technical report, Universiy of Leicester and Universit\u00e0 di Torino (2016). https:\/\/hal.archives-ouvertes.fr\/hal-01297293","key":"15_CR27"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-662-45917-1_11","volume-title":"Trustworthy Global Computing","author":"B Toninho","year":"2014","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Corecursion and non-divergence in session-typed processes. In: Maffei, M., Tuosto, E. (eds.) TGC 2014. LNCS, vol. 8902, pp. 159\u2013175. Springer, Heidelberg (2014)"},{"key":"15_CR29","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ic.2012.05.002","volume":"217","author":"VT Vasconcelos","year":"2012","unstructured":"Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput. 217, 52\u201370 (2012)","journal-title":"Inf. Comput."},{"unstructured":"Wadsworth, C.P.: Semantics and Pragmatics of the Lambda Calculus. Ph.D. thesis, Oxford University (1971)","key":"15_CR30"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T19:11:30Z","timestamp":1748977890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}