{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:47Z","timestamp":1725486587851},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729198"},{"type":"electronic","value":"9783540729525"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-72952-5_1","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T04:10:08Z","timestamp":1182831008000},"page":"1-31","source":"Crossref","is-referenced-by-count":26,"title":["Asynchronous Session Types and Progress for Object Oriented Languages"],"prefix":"10.1007","author":[{"given":"Mario","family":"Coppo","sequence":"first","affiliation":[]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","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)"},{"issue":"2","key":"1_CR2","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.: Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming\u00a015(2), 219\u2013248 (2005)","journal-title":"Journal of Functional Programming"},{"key":"1_CR3","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":"1_CR4","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (to appear, 2007)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., Drossopoulou, S., Giachino, E., Yoshida, N.: Bounded Session Types for Object-Oriented Languages (2007), http:\/\/www.di.unito.it\/~dezani\/papers\/ddgy.pdf","DOI":"10.1007\/978-3-540-74792-5_10"},{"key":"1_CR6","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":"1_CR7","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: Nicola, R.D., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 299\u2013318. Springer, Heidelberg (2005)"},{"key":"1_CR8","unstructured":"Drossopoulou, S.: Advanced Issues in Object Oriented Languages Course Notes. http:\/\/www.doc.ic.ac.uk\/~scd\/Teaching\/AdvOO.html"},{"key":"1_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":"1_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)"},{"issue":"2\/3","key":"1_CR11","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"},{"key":"1_CR12","unstructured":"Gay, S., Vasconcelos, V.T.: A New Approach to Functional Session Types (2006), http:\/\/www.di.fc.ul.pt\/~vv\/papers\/gay.vasconcelos:new-functional-sessions.pdf"},{"key":"1_CR13","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":"1_CR14","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\u201993","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":"1_CR15","first-page":"344","volume-title":"POPL\u201996","author":"K. Honda","year":"1996","unstructured":"Honda, K.: Composing Processes. In: Steele, G.L. (ed.) POPL\u201996, pp. 344\u2013357. ACM Press, New York (1996)"},{"key":"1_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)"},{"key":"1_CR17","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Web Services, Mobile Processes and Types. EATCS Bulletin (to appear, 2007)"},{"issue":"3","key":"1_CR18","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"},{"key":"1_CR19","unstructured":"S. Microsystems Inc. The Java Tutorial: All About Sockets. http:\/\/java.sun.com\/docs\/books\/ tutorial\/networking\/sockets\/"},{"key":"1_CR20","unstructured":"S. Microsystems Inc. New IO APIs. http:\/\/java.sun.com\/j2se\/1.4.2\/docs\/guide\/nio\/ index.html"},{"key":"1_CR21","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)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"1_CR22","unstructured":"Neubauer, M., Thiemann, P.: Session Types for Asynchronous Communication. Universit\u00e4t Freiburg (2004)"},{"key":"1_CR23","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge, MA (2002)"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1122674.1122684","volume":"4","author":"S. Sparkes","year":"2006","unstructured":"Sparkes, S.: Conversation with Steve Ross-Talbot. ACM Queue\u00a04(2), 14\u201323 (2006)","journal-title":"ACM Queue"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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_CR26","series-title":"ENTCS","first-page":"439","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: Brogi, A., Jacquet, J.-M. (eds.) FOCLASA\u201902. ENTCS, vol.\u00a068(3), pp. 439\u2013456. Elsevier, Amsterdam (2002)"},{"issue":"1-2","key":"1_CR27","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. Theorical Computer Science\u00a0368(1-2), 64\u201387 (2006)","journal-title":"Theorical Computer Science"},{"key":"1_CR28","unstructured":"Web Services Choreography\u00a0Working Group. Web Services Choreography Description Language. http:\/\/www.w3.org\/2002\/ws\/chor\/"},{"key":"1_CR29","series-title":"ENTCS","volume-title":"SecRet\u201906","author":"N. Yoshida","year":"2007","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In: SecRet\u201906. ENTCS, Elsevier, Amsterdam (to appear, 2007)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72952-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T13:55:01Z","timestamp":1683899701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72952-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729198","9783540729525"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72952-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}