{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T07:28:35Z","timestamp":1791098915261,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642144578","type":"print"},{"value":"9783642144585","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14458-5_1","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T08:33:35Z","timestamp":1282552415000},"page":"1-28","source":"Crossref","is-referenced-by-count":45,"title":["Sessions and Session Types: An Overview"],"prefix":"10.1007","author":[{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ugo","family":"de\u2019Liguoro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","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":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: a Service Centered Calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"1_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., De 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":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/963778.963781","volume":"26","author":"M. Bugliesi","year":"2004","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems\u00a026(1), 57\u2013124 (2004)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR5","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.\u00a05201, pp. 418\u2013433. Springer, Heidelberg (2008)"},{"key":"1_CR6","first-page":"124","volume-title":"CSF 2009","author":"K. Bhargavan","year":"2009","unstructured":"Bhargavan, K., Corin, R., Deni\u00e9lou, P.-M., Fournet, C., Leifer, J.J.: Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. In: CSF 2009, pp. 124\u2013140. IEEE Computer Society, Los Alamitos (2009)"},{"key":"1_CR7","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":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-3-642-11623-0_5","volume-title":"FSEN 2009","author":"F. Barbanera","year":"2010","unstructured":"Barbanera, F., Capecchi, S., de\u2019Liguoro, U.: Typing Asymmetric Client-Server Interaction. In: Sirjani, M. (ed.) FSEN 2009. LNCS, vol.\u00a05961, pp. 97\u2013112. Springer, Heidelberg (2010)"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S095679680400543X","volume":"15","author":"E. Bonelli","year":"2005","unstructured":"Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming\u00a015(2), 219\u2013248 (2005)","journal-title":"Journal of Functional Programming"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M. Buscemi","year":"2007","unstructured":"Buscemi, M., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-78739-6_20","volume-title":"Programming Languages and Systems","author":"M. Buscemi","year":"2008","unstructured":"Buscemi, M., Montanari, U.: Open Bisimulation for the Concurrent Constraint Pi-Calculus. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 254\u2013268. Springer, Heidelberg (2008)"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0304-3975(97)00220-X","volume":"195","author":"M. Boreale","year":"1998","unstructured":"Boreale, M.: On the Expressiveness of Internal Mobility in Name-Passing Calculi. Theoretical Computer Science\u00a0195(2), 205\u2013226 (1998)","journal-title":"Theoretical Computer Science"},{"key":"1_CR13","volume-title":"Foundations of Object-Oriented Languages: Types and Semantics","author":"K. Bruce","year":"2002","unstructured":"Bruce, K.: Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, Cambridge (2002)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-70583-3_9","volume-title":"Automata, Languages and Programming","author":"M. Berger","year":"2008","unstructured":"Berger, M., Yoshida, N., Honda, K.: Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 99\u2013111. Springer, Heidelberg (2008)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-77351-1_4","volume-title":"Software Composition","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol.\u00a04829, pp. 34\u201350. Springer, Heidelberg (2007)"},{"key":"1_CR16","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, 142\u2013167 (2009)","journal-title":"Theoretical Computer Science"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Capecchi, S., Castellani, I., Dezani, M., Rezk, T.: Session Types for Access and Information Flow Control (2009), http:\/\/www.di.unito.it\/~dezani\/ccdr.pdf","DOI":"10.1007\/978-3-642-15375-4_17"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-00945-7_7","volume-title":"Trustworthy Global Computing","author":"M. Coppo","year":"2009","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: Structured Communications with Concurrent Constraints. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 104\u2013125. Springer, Heidelberg (2009)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/1599410.1599437","volume-title":"PPDP 2009","author":"G. Castagna","year":"2009","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Giachino, E., Padovani, L.: Foundations of Session Types. In: PPDP 2009, pp. 219\u2013230. ACM Press, New York (2009)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11523468_3","volume-title":"Automata, Languages and Programming","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., Frisch, A.: A Gentle Introduction to Semantic Subtyping. In: PPDP 2005, pp. 198\u2013208. ACM Press, New York (2005) (full version); Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 30\u201334. Springer, Heidelberg (2005) Joint ICALP-PPDP keynote talk."},{"issue":"5","key":"1_CR21","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1538917.1538920","volume":"31","author":"G. Castagna","year":"2009","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. ACM Transactions on Programming Languages and Systems article n.19, 31(5), p. 51 (2009)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR22","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":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-85361-9_32","volume-title":"CONCUR 2008 - Concurrency Theory","author":"M. Carbone","year":"2008","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Interactional Exceptions for Session Types. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 402\u2013417. Springer, Heidelberg (2008)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45337-7_4","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"D. Clarke","year":"2001","unstructured":"Clarke, D., Noble, J., Potter, J.: Simple Ownership Types for Object Containment. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 53\u201376. Springer, Heidelberg (2001)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-04081-8_15","volume-title":"CONCUR 2009","author":"G. Castagna","year":"2009","unstructured":"Castagna, G., Padovani, L.: Contracts for Mobile Processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 211\u2013228. Springer, Heidelberg (2009)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-00590-9_21","volume-title":"Programming Languages and Systems","author":"L. Caires","year":"2009","unstructured":"Caires, L., Vieira, H.T.: Conversation Types. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 285\u2013300. Springer, Heidelberg (2009)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-78663-4_18","volume-title":"Trustworthy Global Computing","author":"M. Dezani-Ciancaglini","year":"2008","unstructured":"Dezani-Ciancaglini, M., de\u2019 Liguoro, U., Yoshida, N.: On Progress for Structured Communications. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol.\u00a04912, pp. 257\u2013275. Springer, Heidelberg (2008)"},{"issue":"5","key":"1_CR28","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1016\/j.ic.2008.03.028","volume":"207","author":"M. Dezani-Ciancaglini","year":"2009","unstructured":"Dezani-Ciancaglini, M., Drossopoulou, S., Mostrous, D., Yoshida, N.: Session Types for Object-Oriented Languages. Information and Computation\u00a0207(5), 595\u2013641 (2009)","journal-title":"Information and Computation"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-17660-8_53","volume-title":"TAPSOFT 1987","author":"R. Nicola De","year":"1987","unstructured":"De Nicola, R., Hennessy, M.: CCS Without \u03c4\u2019s. In: Ehrig, H., Levi, G., Montanari, U. (eds.) CAAP 1987 and TAPSOFT 1987. LNCS, vol.\u00a0249, pp. 138\u2013152. Springer, Heidelberg (1987)"},{"key":"1_CR30","first-page":"177","volume-title":"EuroSys 2006, ACM SIGOPS","author":"M. F\u00e4hndrich","year":"2006","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G.C., Larus, J.R., Levi, S.: Language Support for Fast and Reliable Message-based Communication in Singularity OS. In: EuroSys 2006, ACM SIGOPS, pp. 177\u2013190. ACM Press, New York (2006)"},{"issue":"5","key":"1_CR31","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1017\/S0960129508006944","volume":"18","author":"S. Gay","year":"2007","unstructured":"Gay, S.: Bounded Polymorphism in Session Types. Mathematical Structures in Computer Science\u00a018(5), 895\u2013930 (2007)","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR32","unstructured":"Gay, S., Gesbert, N., Ravara, A.: Session Types as Generic Process Types. In: PLACES 2008, pp. 16\u201321 (2008), http:\/\/gloss.di.fc.ul.pt\/places08\/Places08Proceedings.pdf"},{"issue":"2\/3","key":"1_CR33","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S. Gay","year":"2005","unstructured":"Gay, S., Hole, M.: Subtyping for Session Types in the Pi-Calculus. Acta Informatica\u00a042(2\/3), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"issue":"1","key":"1_CR34","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1017\/S0956796809990268","volume":"20","author":"S. Gay","year":"2010","unstructured":"Gay, S., Vasconcelos, V.: Linear Type Theory for Asynchronous Session Types. Journal of Functional Programming\u00a020(1), 19\u201350 (2010)","journal-title":"Journal of Functional Programming"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/1706299.1706335","volume-title":"POPL 2010","author":"S. Gay","year":"2010","unstructured":"Gay, S., Vasconcelos, V., Ravara, A., Gesbert, N., Caldeira, A.: Modular Session Types for Distributed Object-Oriented Programming. In: POPL 2010, pp. 299\u2013312. ACM Press, New York (2010)"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","first-page":"316","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"2009","unstructured":"Honda, K., Mostrous, D., Yoshida, N.: Global Principal Typing in Partially Commutative Asynchronous Sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"1_CR37","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., Kubo, M.: Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328438.1328472","volume-title":"POPL 2008","author":"K. Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273\u2013284. ACM, New York (2008)"},{"key":"1_CR39","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":"1-3","key":"1_CR40","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(03)00325-6","volume":"311","author":"A. Igarashi","year":"2004","unstructured":"Igarashi, A., Kobayashi, N.: A Generic Type System for the Pi-Calculus. Theoretical Computer Science\u00a0311(1-3), 121\u2013163 (2004)","journal-title":"Theoretical Computer Science"},{"key":"1_CR41","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/237721.237794","volume-title":"POPL 1996","author":"S.P. Jones","year":"1996","unstructured":"Jones, S.P., Gordon, A., Finne, S.: Concurrent Haskell. In: POPL 1996, pp. 295\u2013308. ACM Press, New York (1996)"},{"issue":"2","key":"1_CR42","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1145\/276393.278524","volume":"20","author":"N. Kobayashi","year":"1998","unstructured":"Kobayashi, N.: A Partially Deadlock-Free Typed Process Calculus. ACM Transactions on Programming Languages and Systems\u00a020(2), 436\u2013482 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR43","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/S0890-5401(02)93171-8","volume":"177","author":"N. Kobayashi","year":"2002","unstructured":"Kobayashi, N.: A Type System for Lock-Free Processes. Information and Computation\u00a0177, 122\u2013159 (2002)","journal-title":"Information and Computation"},{"key":"1_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-40007-3_26","volume-title":"Formal Methods at the Crossroads","author":"N. Kobayashi","year":"2003","unstructured":"Kobayashi, N.: Type Systems for Concurrent Programs. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. LNCS, vol.\u00a02757, pp. 439\u2013453. Springer, Heidelberg (2003)"},{"issue":"4-5","key":"1_CR45","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s00236-005-0179-x","volume":"42","author":"N. Kobayashi","year":"2005","unstructured":"Kobayashi, N.: Type-Based Information Flow Analysis for the Pi-Calculus. Acta Informatica\u00a042(4-5), 291\u2013347 (2005)","journal-title":"Acta Informatica"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11817949_16","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"N. Kobayashi","year":"2006","unstructured":"Kobayashi, N.: A New Type System for Deadlock-Free Processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 233\u2013247. Springer, Heidelberg (2006)"},{"key":"1_CR47","unstructured":"Kobayashi, N.: Type Systems for Concurrent Programs. In: Extended version of [Kob03], Tohoku University (2007)"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/978-3-540-68679-8_42","volume-title":"Concurrency, Graphs and Models","author":"C. Laneve","year":"2008","unstructured":"Laneve, C., Padovani, L.: The Pairing of Contracts and Session Types. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 681\u2013700. Springer, Heidelberg (2008)"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, H., P\u00e9rez, J., Olarte, C.: Towards a Unified Framework for Declarative Structured Communications. In: PLACES 2009. EPTCS, vol.\u00a017, pp. 1\u201316 (2010)","DOI":"10.4204\/EPTCS.17.1"},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"issue":"10","key":"1_CR51","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"G. Meredith","year":"2003","unstructured":"Meredith, G., Bjorg, S.: Contracts and Types. Communications of the ACM\u00a046(10), 41\u201347 (2003)","journal-title":"Communications of the ACM"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73228-0_23","volume-title":"Typed Lambda Calculi and Applications","author":"D. Mostrous","year":"2007","unstructured":"Mostrous, D., Yoshida, N.: Two Sessions Typing Systems for Higher-Order Mobile Processes. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol.\u00a04583, pp. 321\u2013335. Springer, Heidelberg (2007)"},{"key":"1_CR53","unstructured":"Mostrous, D., Yoshida, N.: A Session Object Calculus for Structured Communication-Based Programming (2008), http:\/\/www.doc.ic.ac.uk\/~mostrous\/sesobj.pdf"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-02273-9_16","volume-title":"Typed Lambda Calculi and Applications","author":"D. Mostrous","year":"2009","unstructured":"Mostrous, D., Yoshida, N.: Session-Based Communication Optimisation for Higher-Order Mobile Processes. In: Curien, P.-L. (ed.) TLCA 2009. LNCS, vol.\u00a05608, pp. 203\u2013218. Springer, Heidelberg (2009)"},{"key":"1_CR55","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":"1_CR56","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/1363686.1363726","volume-title":"SAC 2008","author":"C. Olarte","year":"2008","unstructured":"Olarte, C., Valencia, F.: Universal Concurrent Constraint Programming: Symbolic Semantics and Applications to Security. In: SAC 2008, pp. 145\u2013150. ACM, New York (2008)"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Padovani, L.: Session Types at the Mirror. In: ICE 2009. EPTCS, vol.\u00a012, pp. 71\u201386 (2009)","DOI":"10.4204\/EPTCS.12.5"},{"key":"1_CR58","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574962","volume-title":"Concurrent Programming in ML","author":"J.H. Reppy","year":"1999","unstructured":"Reppy, J.H.: Concurrent Programming in ML. Cambridge University Press, Cambridge (1999)"},{"key":"1_CR59","unstructured":"Sackman, M., Eisenbach, S.: Session Types in Haskell (Updating Message Passing for the 21st Century) (2008), http:\/\/pubs.doc.ic.ac.uk\/session-types-in-haskell\/session-types-in-haskell.pdf"},{"key":"1_CR60","volume-title":"The \u03c0-Calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-Calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"1_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"1_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-01918-0_4","volume-title":"Formal Methods for Web Services","author":"V. Vasconcelos","year":"2009","unstructured":"Vasconcelos, V.: Fundamentals of Session Types. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 158\u2013186. Springer, Heidelberg (2009)"},{"key":"1_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1599410.1599411","volume-title":"PPDP 2009","author":"V. Vasconcelos","year":"2009","unstructured":"Vasconcelos, V.: Session Types for Linear Multithreaded Functional Programming. In: PPDP 2009, pp. 1\u20136. ACM Press, New York (2009)"},{"key":"1_CR64","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.tcs.2006.06.028","volume":"368","author":"V. Vasconcelos","year":"2006","unstructured":"Vasconcelos, V., Gay, S., Ravara, A.: Typechecking a Multithreaded Functional Language with Session Types. Theoretical Computer Science\u00a0368, 64\u201387 (2006)","journal-title":"Theoretical Computer Science"},{"key":"1_CR65","unstructured":"Vasconcelos, V., Gay, S., Ravara, A., Gesbert, N., Caldeira, A.: Dynamic Interfaces. In: FOOL 2009 (2009), http:\/\/www.cs.cmu.edu\/~aldrich\/FOOL09\/vasconcelos.pdf"},{"key":"1_CR66","series-title":"ENTCS","first-page":"73","volume-title":"SecReT 2006","author":"N. Yoshida","year":"2007","unstructured":"Yoshida, N., Vasconcelos, V.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In: SecReT 2006. ENTCS, vol.\u00a0171, pp. 73\u201393. Elsevier, Amsterdam (2007)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14458-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:53:07Z","timestamp":1606186387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14458-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144578","9783642144585"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14458-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}