{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,8]],"date-time":"2025-06-08T22:27:04Z","timestamp":1749421624452},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540357261"},{"type":"electronic","value":"9783540357278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11785477_20","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T05:04:52Z","timestamp":1159160692000},"page":"328-352","source":"Crossref","is-referenced-by-count":75,"title":["Session Types for Object-Oriented Languages"],"prefix":"10.1007","author":[{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitris","family":"Mostrous","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"A full version of this paper, http:\/\/www.doc.ic.ac.uk\/~dm04","key":"20_CR1"},{"unstructured":"Personal communication by e-mails between the authors of [6, 7, 13, 15, 18, 20, 26, 27, 29]","key":"20_CR2"},{"doi-asserted-by":"crossref","unstructured":"Conversation with Steve Ross-Talbot. ACM Queue\u00a04(2) (2006)","key":"20_CR3","DOI":"10.1145\/1122674.1122684"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/1094811.1094843","volume-title":"OOPSLA 2005","author":"A. Ahern","year":"2005","unstructured":"Ahern, A., Yoshida, N.: Formalising Java RMI with Explicit Code Mobility. In: OOPSLA 2005, pp. 403\u2013422. ACM Press, New York (2005)"},{"unstructured":"Bierman, G., Parkinson, M., Pitts, A.: MJ: An Imperative Core Calculus for Java and Java with Effects. Technical Report 563, Univ. of Cambridge Computer Laboratory (2003)","key":"20_CR5"},{"issue":"2","key":"20_CR6","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. J. of Funct. Progr.\u00a015(2), 219\u2013248 (2005)","journal-title":"J. of Funct. Progr."},{"key":"20_CR7","series-title":"ENTCS","first-page":"3","volume-title":"FGUC 2004","author":"E. Bonelli","year":"2005","unstructured":"Bonelli, E., Compagnoni, A., Gunter, E.: Typechecking Safe Process Synchronization. In: FGUC 2004. ENTCS, vol.\u00a0138, pp. 3\u201322. Elsevier, Amsterdam (2005)"},{"unstructured":"Carbone, M., Honda, K., Yoshida, N.: A Theoretical Basis of Communication-centered Concurrent Programming. Web Services Choreography Working Group mailing list, to appear as a WS-CDL working report","key":"20_CR8"},{"key":"20_CR9","series-title":"SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/378795.378811","volume-title":"PLDI 2001","author":"R. DeLine","year":"2001","unstructured":"DeLine, R., Fahndrich, M.: Enforcing High-Level Protocols in Low-Level Software. In: PLDI 2001. SIGPLAN Notices, vol.\u00a036(5), pp. 59\u201369. ACM Press, New York (2001)"},{"key":"20_CR10","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., Drossopoulou, 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)"},{"unstructured":"Drossopoulou, S.: Advanced issues in object oriented languages course notes, http:\/\/www.doc.ic.ac.uk\/~scd\/Teaching\/AdvOO.html","key":"20_CR11"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/512529.512532","volume-title":"PLDI 2002","author":"M. Fahndrich","year":"2002","unstructured":"Fahndrich, M., DeLine, R.: Adoption and focus: practical linear types for imperative programming. In: PLDI 2002, pp. 13\u201324. ACM Press, New York (2002)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-49099-X_6","volume-title":"Programming Languages and Systems","author":"S. Gay","year":"1999","unstructured":"Gay, S., Hole, M.: Types and Subtypes for Client-Server Interactions. In: Swierstra, S.D. (ed.) ESOP 1999 and ETAPS 1999. LNCS, vol.\u00a01576, pp. 74\u201390. Springer, Heidelberg (1999)"},{"issue":"2\/3","key":"20_CR14","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"},{"unstructured":"Gay, S., Vasconcelos, V.T., Ravara, A.: Session Types for Inter-Process Communication. TR 2003\u2013133, Department of Computing, University of Glasgow (2003)","key":"20_CR15"},{"key":"20_CR16","series-title":"ENTCS","first-page":"379","volume-title":"MFPS 2001","author":"A.D. Gordon","year":"2001","unstructured":"Gordon, A.D., Jeffrey, A.: Typing Correspondence Assertions for Communication Protocols. In: MFPS 2001. ENTCS, vol.\u00a045, pp. 379\u2013409. Elsevier, Amsterdam (2001)"},{"unstructured":"Hole, M., Gay, S.J.: Bounded Polymorphism in Session Types. Technical Report TR-2003-132, Department of Computing Science, University of Glasgow (2003)","key":"20_CR17"},{"key":"20_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 1993","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":"20_CR19","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/237721.237802","volume-title":"POPL 1996","author":"K. Honda","year":"1996","unstructured":"Honda, K.: Composing Processes. In: POPL 1996, pp. 344\u2013357. ACM Press, New York (1996)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","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 and ETAPS 1998. LNCS, vol.\u00a01381, pp. 22\u2013138. Springer, Heidelberg (1998)"},{"issue":"3","key":"20_CR21","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a Minimal Core Calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"issue":"5","key":"20_CR22","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 TOPLAS\u00a021(5), 914\u2013947 (1999)","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I and II. Information and Computation\u00a0100(1) (1992)","key":"20_CR23","DOI":"10.1016\/0890-5401(92)90009-5"},{"unstructured":"Mostrous, D.: Moose: a Minimal Object Oriented Language with Session Types. Master\u2019s thesis, Imperial College London (2005)","key":"20_CR24"},{"key":"20_CR25","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"20_CR26","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":"20_CR27","series-title":"ENTCS","volume-title":"FOCLASA 2002","author":"A. Vallecillo","year":"2002","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the Behavior of Objects and Components using Session Types. In: FOCLASA 2002. ENTCS, vol.\u00a068(3), Elsevier, Amsterdam (2002)"},{"key":"20_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/BFb0052178","volume-title":"Object-Oriented Programming","author":"V.T. Vasconcelos","year":"1994","unstructured":"Vasconcelos, V.T.: Typed Concurrent Objects. In: Tokoro, M., Pareschi, R. (eds.) ECOOP 1994. LNCS, vol.\u00a0821, pp. 100\u2013117. Springer, Heidelberg (1994)"},{"key":"20_CR29","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.: Session Types for Functional Multithreading. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 497\u2013511. Springer, Heidelberg (2004)"},{"unstructured":"Web Services Choreography\u00a0Working Group. Web Services Choreography Description Language, http:\/\/www.w3.org\/2002\/ws\/chor\/","key":"20_CR30"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2006 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11785477_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:28Z","timestamp":1605625768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11785477_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540357261","9783540357278"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11785477_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}