{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:35:51Z","timestamp":1742913351158,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214608"},{"type":"electronic","value":"9783642214615"}],"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-21461-5_15","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:25:36Z","timestamp":1307697936000},"page":"228-243","source":"Crossref","is-referenced-by-count":12,"title":["On Asynchronous Session Semantics"],"prefix":"10.1007","author":[{"given":"Dimitrios","family":"Kouzapas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kohei","family":"Honda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-540-68679-8_29","volume-title":"Concurrency, Graphs and Models","author":"R. Beauxis","year":"2008","unstructured":"Beauxis, R., Palamidessi, C., Valencia, F.: On the asynchronous nature of the asynchronous \u03c0-calculus. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 473\u2013492. Springer, Heidelberg (2008)"},{"key":"15_CR2","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)"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0304-3975(99)00227-3","volume":"240","author":"N. Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: Comparing three semantics for Linda-like languages. Theor. Comput. Sci.\u00a0240(1), 49\u201390 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-15375-4_16","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L. Caires","year":"2010","unstructured":"Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 222\u2013236. Springer, Heidelberg (2010)"},{"key":"15_CR5","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":"15_CR6","doi-asserted-by":"crossref","unstructured":"Gay, S., Vasconcelos, V.T.: Linear type theory for asynchronous session types. JFP (2009)","DOI":"10.1017\/S0956796809990268"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Hennessy, M.: A Distributed Pi-Calculus. CUP (2007)","DOI":"10.1017\/CBO9780511611063"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"European Conference on Object-Oriented Programming ECOOP 1991","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"15_CR9","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":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"151","author":"K. Honda","year":"1995","unstructured":"Honda, K., Yoshida, N.: On reduction-based process semantics. TCS\u00a0151(2), 437\u2013486 (1995)","journal-title":"TCS"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N.: A uniform type structure for secure information flow. TOPLAS\u00a029(6) (2007)","DOI":"10.1145\/1286821.1286822"},{"key":"15_CR12","first-page":"273","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 Press, New York (2008)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-14107-2_16","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R. Hu","year":"2010","unstructured":"Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in java. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 329\u2013353. Springer, Heidelberg (2010)"},{"key":"15_CR14","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: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"issue":"2","key":"15_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/850657.850658","volume":"13","author":"H.C. Lauer","year":"1979","unstructured":"Lauer, H.C., Needham, R.M.: On the duality of operating system structures. SIGOPS Oper. Syst. Rev.\u00a013(2), 3\u201319 (1979)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"15_CR16","unstructured":"Lowe, G.: Extending csp with tests for availability. In: Procedings of Communicating Process Architectures, CPA 2009 (2009)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Models for csp with availability information. In: EXPRESS 2010. EPTCS, vol.\u00a041, pp. 91\u2013105 (2010)","DOI":"10.4204\/EPTCS.41.7"},{"key":"15_CR18","unstructured":"S.\u00a0Microsystems Inc. New IO APIs, http:\/\/java.sun.com\/j2se\/1.4.2\/docs\/guide\/nio\/index.html"},{"key":"15_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I and II. Info. & Comp.\u00a0100(1) (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"15_CR21","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":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-63165-8_188","volume-title":"Automata, Languages and Programming","author":"A. Philippou","year":"1997","unstructured":"Philippou, A., Walker, D.: On confluence in the picalculus. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256, pp. 314\u2013324. Springer, Heidelberg (1997)"},{"key":"15_CR23","unstructured":"Online Appendix of this paper, http:\/\/www.doc.ic.ac.uk\/~dk208\/semantics.html"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"Parallel Architectures and Languages Europe PARLE 1994","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)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21461-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:20:13Z","timestamp":1560255613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21461-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214608","9783642214615"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21461-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}