{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:17:05Z","timestamp":1759637825338,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019173"},{"type":"electronic","value":"9783642019180"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01918-0_4","type":"book-chapter","created":{"date-parts":[[2009,5,21]],"date-time":"2009-05-21T02:29:47Z","timestamp":1242872987000},"page":"158-186","source":"Crossref","is-referenced-by-count":21,"title":["Fundamentals of Session Types"],"prefix":"10.1007","author":[{"given":"Vasco T.","family":"Vasconcelos","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/978-3-540-68679-8_41","volume-title":"Concurrency, Graphs and Models","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., Capecchi, S., Dezani-Ciancaglini, M., Giachino, E., Venneri, B.: Session and union types for object oriented programming. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 659\u2013680. Springer, Heidelberg (2008)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 19\u201338. Springer, Heidelberg (2008)"},{"issue":"2-3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.tcs.2008.09.016","volume":"410","author":"S. Capecchi","year":"2009","unstructured":"Capecchi, S., Coppo, M., Dezani-Ciancaglini, M., Drossopoulou, S., Giachino, E.: Amalgamating sessions and methods in object-oriented languages with generics. Theoretical Computer Science\u00a0410(2-3), 142\u2013167 (2009)","journal-title":"Theoretical Computer Science"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Giachino, E., Padovani, L.: Foundation of session types (unpublished) (2009)","DOI":"10.1145\/1599410.1599437"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-72952-5_1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Coppo","year":"2007","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Yoshida, N.: Asynchronous session types and progress for object-oriented languages. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 1\u201331. Springer, Heidelberg (2007)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-68863-1_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Cruz-Filipe","year":"2008","unstructured":"Cruz-Filipe, L., Lanese, I., Martins, F., Ravara, A., Vasconcelos, V.T.: Behavioural theory at work: program transformations in a service-centred calculus. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 59\u201377. Springer, Heidelberg (2008)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-74792-5_10","volume-title":"Formal Methods for Components and Objects","author":"M. Dezani-Ciancaglini","year":"2007","unstructured":"Dezani-Ciancaglini, M., Drossopoulou, S., Giachino, E., Yoshida, N.: Bounded session types for object-oriented languages. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 207\u2013245. Springer, Heidelberg (2007)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/11785477_20","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"M. Dezani-Ciancaglini","year":"2006","unstructured":"Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopolou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 328\u2013352. Springer, Heidelberg (2006)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11580850_16","volume-title":"Trustworthy Global Computing","author":"M. Dezani-Ciancaglini","year":"2005","unstructured":"Dezani-Ciancaglini, M., Yoshida, N., Ahern, A., Drossopolou, S.: A distributed object-oriented language with session types. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 299\u2013318. Springer, Heidelberg (2005)"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/1218063.1217953","volume":"40","author":"M. F\u00e4hndrich","year":"2006","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in Singularity OS. SIGOPS Operating Systems Review\u00a040(4), 177\u2013190 (2006)","journal-title":"SIGOPS Operating Systems Review"},{"issue":"5","key":"4_CR13","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1017\/S0960129508006944","volume":"18","author":"S.J. Gay","year":"2008","unstructured":"Gay, S.J.: Bounded polymorphism in session types. Mathematical Structures in Computer Science\u00a018(5), 895\u2013930 (2008)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2\/3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.J.: Subtyping for session types in the pi calculus. Acta Informatica\u00a042(2\/3), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"key":"4_CR15","unstructured":"Gay, S.J., Vasconcelos, V.T.: Asynchronous functional session types. TR 2007\u2013251, Department of Computing, University of Glasgow (May 2007)"},{"key":"4_CR16","unstructured":"Gay, S.J., Vasconcelos, V.T.: Linear type theory for asynchronous session types (2008) (submitted)"},{"key":"4_CR17","unstructured":"Giunti, M., Honda, K., Vasconcelos, V.T., Yoshida, N.: Session-based type discipline for pi calculus with matching. In: PLACES 2009 (2009)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR\u201993","author":"K. Honda","year":"1993","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 509\u2013523. Springer, Heidelberg (1993)"},{"key":"4_CR19","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.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-540-70592-5_22","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"R. Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"issue":"5","key":"4_CR21","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","author":"N. Kobayashi","year":"1999","unstructured":"Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems\u00a021(5), 914\u2013947 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR22","first-page":"305","volume-title":"Proceedings of SEFM 2007","author":"I. Lanese","year":"2007","unstructured":"Lanese, I., Vasconcelos, V.T., Martins, F., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: Proceedings of SEFM 2007, pp. 305\u2013314. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"4_CR23","unstructured":"Mostrous, D., Yoshida, N.: A session object calculus for structured communication-based programming (unpublished) (2008)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-642-00590-9_23","volume-title":"ESOP 2009","author":"D. Mostrous","year":"2009","unstructured":"Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-24836-1_5","volume-title":"Practical Aspects of Declarative Languages","author":"M. Neubauer","year":"2004","unstructured":"Neubauer, M., Thiemann, P.: An implementation of session types. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 56\u201370. Springer, Heidelberg (2004)"},{"key":"4_CR26","unstructured":"Neubauer, M., Thiemann, P.: Session types for asynchronous communication (unpublished) (2004)"},{"issue":"1,2","key":"4_CR27","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(96)00075-8","volume":"167","author":"D. Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: \u03c0-calculus, internal mobility and agent-passing calculi. Theoretical Computer Science\u00a0167(1,2), 235\u2013274 (1996)","journal-title":"Theoretical Computer Science"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE \u201994 Parallel Architectures and Languages Europe","author":"K. Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol.\u00a0817, pp. 398\u2013413. Springer, Heidelberg (1994)"},{"issue":"4","key":"4_CR29","first-page":"583","volume":"73","author":"A. Vallecillo","year":"2006","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of objects and components using session types. Fundamenta Informatic\u00e6\u00a073(4), 583\u2013598 (2006)","journal-title":"Fundamenta Informatic\u00e6"},{"issue":"1\u20132","key":"4_CR30","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.tcs.2006.06.028","volume":"368","author":"V.T. Vasconcelos","year":"2006","unstructured":"Vasconcelos, V.T., Gay, S.J., Ravara, A.: Typechecking a multithreaded functional language with session types. Theoretical Computer Science\u00a0368(1\u20132), 64\u201387 (2006)","journal-title":"Theoretical Computer Science"},{"key":"4_CR31","unstructured":"Vasconcelos, V.T., Gay, S.J., Ravara, A., Gesbert, N., Caldeira, A.Z.: Dynamic interfaces. In: FOOL 2009 (2009)"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-3-540-28644-8_32","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V.T. Vasconcelos","year":"2004","unstructured":"Vasconcelos, V.T., Ravara, A., Gay, S.J.: Session types for functional multithreading. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 497\u2013511. Springer, Heidelberg (2004)"},{"key":"4_CR33","volume-title":"Advanced Topics in Types and Programming Languages","author":"D. Walker","year":"2005","unstructured":"Walker, D.: Substructural Type Systems. In: Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005)"},{"key":"4_CR34","series-title":"ENTCS","first-page":"73","volume-title":"Proceedings of SecReT 2007","author":"N. Yoshida","year":"2007","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. In: Proceedings of SecReT 2007. ENTCS, vol.\u00a0171(4), pp. 73\u201393. Elsevier Science, Amsterdam (2007)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Web Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01918-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T04:02:02Z","timestamp":1558324922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01918-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019173","9783642019180"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01918-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}