{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:21Z","timestamp":1760202561910},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732273"},{"type":"electronic","value":"9783540732280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73228-0_23","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:57:11Z","timestamp":1184601431000},"page":"321-335","source":"Crossref","is-referenced-by-count":18,"title":["Two Session Typing Systems for Higher-Order Mobile Processes"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Mostrous","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"On-line Appendix of this paper. http:\/\/www.doc.ic.ac.uk\/\u1ef9oshida\/hopis","key":"23_CR1"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/1094811.1094843","volume-title":"OOPSLA \u201905","author":"A. Ahern","year":"2005","unstructured":"Ahern, A., Yoshida, N.: Formalising Java RMI with Explicit Code Mobility (A full version will appear in TCS). In: OOPSLA \u201905, pp. 403\u2013422. ACM Press, New York (2005)"},{"key":"23_CR3","volume-title":"chapter Dependent Types","author":"D. Aspinall","year":"2005","unstructured":"Aspinall, D., Hofmann, M.: Advanced Topics in Types and Programming Languages. In: Pierce, B.C. (ed.) chapter Dependent Types, MIT Press, Cambridge (2005)"},{"issue":"2","key":"23_CR4","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":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"ESOP\u201907","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: ESOP\u201907. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"unstructured":"Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming. To be published by W3C (2006) Available at http:\/\/www.dcs.qmul.ac.uk\/c\u0303arbonem\/cdlpaper\/workingnote.pdf","key":"23_CR6"},{"key":"23_CR7","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., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 328\u2013352. Springer, Heidelberg (2006)"},{"key":"23_CR8","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)"},{"key":"23_CR9","first-page":"177","volume-title":"EuroSys2006, 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: Zwaenepoel, W. (ed.) EuroSys2006, ACM SIGOPS, pp. 177\u2013190. ACM Press, New York (2006)"},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/1140335.1140344","volume-title":"PPDP\u201906","author":"P. Garralda","year":"2006","unstructured":"Garralda, P., Compagnoni, A., Dezani-Ciancaglini, M.: BASS: Boxed Ambients with Safe Sessions. In: Maher, M. (ed.) PPDP\u201906, pp. 61\u201372. ACM Press, New York (2006)"},{"doi-asserted-by":"crossref","unstructured":"Gay, S.: Bounded polymorphism in session types. MSCS (to appear)","key":"23_CR11","DOI":"10.1017\/S0960129508006944"},{"key":"23_CR12","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":"23_CR13","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 Info.\u00a042(2\/3), 191\u2013225 (2005)","journal-title":"Acta Info."},{"unstructured":"Gay, S., Vasconcelos, V.T.: A new approach to functional session types (October 2006)","key":"23_CR14"},{"issue":"4-5","key":"23_CR15","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s00236-005-0178-y","volume":"42","author":"M. Hennessy","year":"2005","unstructured":"Hennessy, M., Rathke, J., Yoshida, N.: SafeDpi: A language for controlling mobile code. Acta Informatica\u00a042(4-5), 227\u2013290 (2005)","journal-title":"Acta Informatica"},{"key":"23_CR16","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 Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol.\u00a01381, pp. 22\u2013138. Springer, Heidelberg (1998)"},{"unstructured":"Hu, R.: Implementation of a distributed mobile Java. Master\u2019s thesis, Imperial College London (2006)","key":"23_CR17"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher Order Paradigms. PhD thesis, University of Edinburgh (1992)","key":"23_CR19"},{"key":"23_CR20","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":"23_CR21","series-title":"ENTCS","volume-title":"FOCLASA\u201902","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\u201902. ENTCS, vol.\u00a068(3), Elsevier, Amsterdam (2002)"},{"unstructured":"Vasconcelos, V.T.: A note on a typing system for the higher-order \u03c0-calculus. Keio University (September 1993)","key":"23_CR22"},{"issue":"1-2","key":"23_CR23","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., Ravara, A.: Typechecking a multithreaded functional language with session types. TCS\u00a0368(1-2), 64\u201387 (2006)","journal-title":"TCS"},{"key":"23_CR24","volume-title":"Substructural Type Systems","author":"D. Walker","year":"2005","unstructured":"Walker, D.: Advanced Topics in Types and Programming Languages. In: Pierce, B.C. (ed.) Substructural Type Systems, MIT Press, Cambridge (2005)"},{"unstructured":"Web Services Choreography Working Group. Web Services Choreography Description Language. http:\/\/www.w3.org\/2002\/ws\/chor\/","key":"23_CR25"},{"key":"23_CR26","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/964001.964014","volume-title":"POPL\u00a0\u201904","author":"N. Yoshida","year":"2004","unstructured":"Yoshida, N.: Channel dependency types for higher-order mobile processes. In: POPL\u00a0\u201904, pp. 147\u2013160. ACM Press, New York (2004), Full version available at www.doc.ic.ac.uk\/\u1ef9oshida"},{"key":"23_CR27","first-page":"82","volume":"172","author":"N. Yoshida","year":"2002","unstructured":"Yoshida, N., Hennessy, M.: Assigning types to processes. I\u00a0&\u00a0C\u00a0172, 82\u2013120 (2002)","journal-title":"I\u00a0&\u00a0C"},{"unstructured":"Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisit. In: SecRet\u201906. ENTCS, Elsevier, Amsterdam (to appear)","key":"23_CR28"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73228-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T10:29:12Z","timestamp":1683973752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73228-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732273","9783540732280"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73228-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}