{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T19:10:10Z","timestamp":1740165010979,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134135"},{"type":"electronic","value":"9783642134142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13414-2_11","type":"book-chapter","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T10:43:20Z","timestamp":1275907400000},"page":"152-167","source":"Crossref","is-referenced-by-count":11,"title":["Efficient Session Type Guided Distributed Interaction"],"prefix":"10.1007","author":[{"given":"K. C.","family":"Sivaramakrishnan","sequence":"first","affiliation":[]},{"given":"Karthik","family":"Nagaraj","sequence":"additional","affiliation":[]},{"given":"Lukasz","family":"Ziarek","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Eugster","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Compiling with Continuations","author":"A.W. Appel","year":"2007","unstructured":"Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (2007)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.06.002","volume":"241","author":"A. Bejleri","year":"2009","unstructured":"Bejleri, A., Yoshida, N.: Synchronous Multiparty Session Types. Electron. Notes Theor. Comput. Sci.\u00a0241, 3\u201333 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-78663-4_17","volume-title":"Trustworthy Global Computing","author":"E. Bonelli","year":"2008","unstructured":"Bonelli, E., Compagnoni, A.: Multisession Session Types for a Distributed Calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol.\u00a04912, pp. 38\u201357. Springer, Heidelberg (2008)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Dezani-ciancaglini","year":"2007","unstructured":"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":"11_CR5","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language Support for Fast and Reliable Message-based Communication in Singularity OS. In: EuroSys 2006, pp. 177\u2013190 (2006)","DOI":"10.1145\/1217935.1217953"},{"key":"11_CR6","volume-title":"Patterns of Enterprise Application Architecture","author":"M. Fowler","year":"2002","unstructured":"Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley, Reading (2002)"},{"key":"11_CR7","unstructured":"Gay, S., Vasconcelos, V., Ravara, A.: Session Types for Inter-process Communication. Tech. rep., University of Glasgow (2003)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Gay, S., Vasconcelos, V., Ravara, A., Gesbert, N., Caldeira, A.: Modular Session Types for Distributed Object-oriented Programming. In: POPL 2010 (2010)","DOI":"10.1145\/1706299.1706335"},{"key":"11_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)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273\u2013284 (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"11_CR11","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: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/978-3-642-03013-0_27","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"A. Ibrahim","year":"2009","unstructured":"Ibrahim, A., Jiao, Y., Tilevich, E., Cook, W.R.: Remote Batch Invocation for Compositional Object Services. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 595\u2013617. Springer, Heidelberg (2009)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Song, Y.J., Aguilera, M.K., Kotla, R., Malkhi, D.: Rpc Chains: Efficient Client-Server Communication in Geodistributed Systems. In: NSDI 2009, pp. 17\u201330 (2009)","DOI":"10.1145\/1582716.1582726"},{"key":"11_CR14","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)"},{"issue":"4","key":"11_CR15","first-page":"583","volume":"73","author":"A. Vallecillo","year":"2006","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of Software Components using Session Types. Fundam. Inf.\u00a073(4), 583\u2013598 (2006)","journal-title":"Fundam. Inf."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"White, B., Lepreau, J., Stoller, L., Ricci, R., Guruprasad, S., Newbold, M., Hibler, M., Barb, C., Joglekar, A.: An Integrated Experimental Environment for Distributed Systems and Networks. In: NSDI 2002, pp. 255\u2013270 (2002)","DOI":"10.1145\/1060289.1060313"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/3-540-44892-6_17","volume-title":"Middleware 2003","author":"K.C. Yeung","year":"2003","unstructured":"Yeung, K.C., Kelly, P.H.J.: Optimising Java RMI Programs by Communication Restructuring. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.\u00a02672, pp. 324\u2013343. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13414-2_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T18:34:50Z","timestamp":1740162890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13414-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134135","9783642134142"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13414-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}