{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T22:25:51Z","timestamp":1770416751620,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642232169","type":"print"},{"value":"9783642232176","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23217-6_19","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T13:14:02Z","timestamp":1314278042000},"page":"280-296","source":"Crossref","is-referenced-by-count":40,"title":["Full Abstraction in a Subtyped pi-Calculus with Linear Types"],"prefix":"10.1007","author":[{"given":"Romain","family":"Demangeon","sequence":"first","affiliation":[]},{"given":"Kohei","family":"Honda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","first-page":"332","volume-title":"LICS","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Cardelli, L.: A semantics of object types. In: LICS, pp. 332\u2013341. IEEE Computer Society, Los Alamitos (1994)"},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Trans. Program. Lang. Syst.\u00a015(4), 575\u2013631 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2-3","key":"19_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s00236-005-0175-1","volume":"42","author":"M. Berger","year":"2005","unstructured":"Berger, M., Honda, K., Yoshida, N.: Genericity and the pi-calculus. Acta. Inf.\u00a042(2-3), 83\u2013141 (2005)","journal-title":"Acta. Inf."},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv.\u00a017(4), 471\u2013522 (1985)","journal-title":"ACM Comput. Surv."},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.tcs.2008.01.049","volume":"398","author":"G. Castagna","year":"2008","unstructured":"Castagna, G., Nicola, R.D., Varacca, D.: Semantic subtyping for the pi-calculus. Theor. Comput. Sci.\u00a0398, 217\u2013242 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Castellani, I., Hennessy, M.: Testing theories for asynchronous languages. In: Arvind, V., Ramanujam, R., (eds.) FST TCS 1998. LNCS, vol.\u00a01530, pp. 90\u2013102. Springer, Heidelberg (1998)","DOI":"10.1007\/978-3-540-49382-2_9"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Demangeon, R., Honda, K.: Full abstraction in a subtyped pi-calculus with linear types, long version (2011) (in preparation), http:\/\/perso.ens-lyon.fr\/romain.demangeon\/subtyping_long.pdf","DOI":"10.1007\/978-3-642-23217-6_19"},{"key":"19_CR8","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.\u00a06194, pp. 1\u201328. Springer, Heidelberg (2010)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Fiore, M.P., Honda, K.: Recursive types in games: Axiomatics and process representation. In: LICS, pp. 345\u2013356 (1998)","DOI":"10.1109\/LICS.1998.705670"},{"issue":"2-3","key":"19_CR10","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.: Subtyping for session types in the pi calculus. Acta. Inf.\u00a042(2-3), 191\u2013225 (2005)","journal-title":"Acta. Inf."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Honda, K.: Composing processes. In: POPL, pp. 344\u2013357 (1996)","DOI":"10.1145\/237721.237802"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Honda, K.: Processes and games. Electr. Notes Theor. Comput. Sci.\u00a071 (2002)","DOI":"10.1016\/S1571-0661(05)82528-9"},{"key":"19_CR13","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)"},{"issue":"1-2","key":"19_CR14","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0304-3975(99)00039-0","volume":"221","author":"K. Honda","year":"1999","unstructured":"Honda, K., Yoshida, N.: Game-theoretic analysis of call-by-value computation. Theor. Comput. Sci.\u00a0221(1-2), 393\u2013456 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Laird, J.: A game semantics of the asynchronous pi-calculus. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 51\u201365. Springer, Heidelberg (2005)","DOI":"10.1007\/11539452_8"},{"issue":"2","key":"19_CR16","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. Mathematical Structures in Computer Science\u00a02(2), 119\u2013141 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR17","unstructured":"Morris, J.H.: Lambda-Calculus Models of Programming Languages. PhD Thesis, M.I.T (1968)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Padovani, L.: Session types at the mirror. In: ICE, pp. 71\u201386 (2009)","DOI":"10.4204\/EPTCS.12.5"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-21464-6_9","volume-title":"Coordination Models and Languages","author":"L. Padovani","year":"2011","unstructured":"Padovani, L.: Fair subtyping for multi-party session types. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol.\u00a06721, pp. 127\u2013141. Springer, Heidelberg (2011)"},{"key":"19_CR20","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"issue":"5","key":"19_CR21","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B.C. Pierce","year":"1996","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. Mathematical Structures in Computer Science\u00a06(5), 409\u2013453 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1-2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0304-3975(96)00096-5","volume":"176","author":"B.C. Pierce","year":"1997","unstructured":"Pierce, B.C., Steffen, M.: Higher-order subtyping. Theor. Comput. Sci.\u00a0176(1-2), 235\u2013282 (1997)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"19_CR23","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.ic.2005.03.004","volume":"200","author":"P. Quaglia","year":"2005","unstructured":"Quaglia, P., Walker, D.: Types and full abstraction for polyadic pi-calculus. Inf. Comput.\u00a0200(2), 215\u2013246 (2005)","journal-title":"Inf. Comput."},{"key":"19_CR24","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":"19_CR25","doi-asserted-by":"crossref","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)","DOI":"10.1007\/3-540-58184-7_118"},{"key":"19_CR26","unstructured":"Turner, N.: The polymorphic pi-calculus: Theory and Implementation. PhD thesis, Department of Computer Science, University of Edinburgh (1996)"},{"issue":"2","key":"19_CR27","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"Walker, D.: Objects in the pi-calculus. Inf. Comput.\u00a0116(2), 253\u2013271 (1995)","journal-title":"Inf. Comput."},{"issue":"2","key":"19_CR28","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.ic.2003.08.004","volume":"191","author":"N. Yoshida","year":"2004","unstructured":"Yoshida, N., Berger, M., Honda, K.: Strong Normalisation in the Pi-Calculus. Information and Computation\u00a0191(2), 145\u2013202 (2004)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2011 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23217-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T08:20:34Z","timestamp":1741508434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23217-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232169","9783642232176"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23217-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}