{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T03:45:48Z","timestamp":1768707948429,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540229407","type":"print"},{"value":"9783540286448","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-28644-8_32","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:48:13Z","timestamp":1267127293000},"page":"497-511","source":"Crossref","is-referenced-by-count":22,"title":["Session Types for Functional Multithreading"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Vasconcelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f3nio","family":"Ravara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Gay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/503272.503278","volume-title":"POPL","author":"S. Chaki","year":"2002","unstructured":"Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: model checking message-passing programs. In: POPL, pp. 45\u201357. ACM Press, New York (2002)"},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/378795.378811","volume-title":"PLDI","author":"R. DeLine","year":"2001","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. In: PLDI, pp. 59\u201369. ACM Press, New York (2001)"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-Sensitive Type Qualifiers. In: PLDI, Berlin, Germany, June 2002, pp. 1\u201312 (2002)","DOI":"10.1145\/512529.512531"},{"key":"32_CR4","unstructured":"Gay, S.J., Vasconcelos, V.T., Ravara, A.: Session types for inter-process communication. TR 2003\u2013133, Department of Computing Science, University of Glasgow (March 2003)"},{"key":"32_CR5","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.J. Gay","year":"1999","unstructured":"Gay, S.J., Hole, M.J.: 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)"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/S0304-3975(02)00333-X","volume":"300","author":"A. Gordon","year":"2003","unstructured":"Gordon, A., Jeffrey, A.: Typing correspondence assertions for communication protocols. Theoretical Computer Science\u00a0300, 379\u2013409 (2003)","journal-title":"Theoretical Computer Science"},{"key":"32_CR7","volume-title":"ACM Workshop on Types in Language Design and Implementation","author":"D. Grossman","year":"2003","unstructured":"Grossman, D.: Type-safe multithreading in cyclone. In: ACM Workshop on Types in Language Design and Implementation. ACM Press, New York (2003)"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1145\/512529.512563","volume-title":"PLDI","author":"D. Grossman","year":"2002","unstructured":"Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in cyclone. In: PLDI, pp. 282\u2013293. ACM Press, New York (2002)"},{"key":"32_CR9","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":"32_CR10","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":"32_CR11","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/503272.503303","volume-title":"POPL","author":"A. Igarashi","year":"2002","unstructured":"Igarashi, A., Kobayashi, N.: Resource usage analysis. In: POPL, pp. 331\u2013342. ACM Press, New York (2002)"},{"issue":"1\u20133","key":"32_CR12","first-page":"121","volume":"311","author":"A. Igarashi","year":"2003","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the \u03c0-calculus. Theoretical Computer Science\u00a0311(1\u20133), 121\u2013163 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"32_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"32_CR14","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. The MIT Press, Cambridge (2002)"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/3-540-47764-0_22","volume-title":"Static Analysis","author":"S.K. Rajamani","year":"2001","unstructured":"Rajamani, S.K., Rehof, J.: A behavioral module system for the \u03c0-calculus. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, pp. 375\u2013394. Springer, Heidelberg (2001)"},{"key":"32_CR16","first-page":"293","volume-title":"PLDI","author":"J. Reppy","year":"1991","unstructured":"Reppy, J.: CML: a higher order concurrent language. In: PLDI, pp. 293\u2013305. ACM Press, New York (1991)"},{"key":"32_CR17","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":"32_CR18","series-title":"Lecture Notes in Computer Science","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. Springer, Heidelberg (1994)"},{"key":"32_CR19","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"FOCLASA 2002","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 2002, August 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a068. Elsevier, Amsterdam (2002)"},{"issue":"4","key":"32_CR20","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/363911.363923","volume":"22","author":"D. Walker","year":"2000","unstructured":"Walker, D., Crary, K., Morrisett, G.: Typed memory management via static capabilities. TOPLAS\u00a022(4), 701\u2013771 (2000)","journal-title":"TOPLAS"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2004 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28644-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T16:54:43Z","timestamp":1685465683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28644-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229407","9783540286448"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28644-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}