{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:46:55Z","timestamp":1743061615611,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395692"},{"type":"electronic","value":"9783319395708"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39570-8_17","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:04:10Z","timestamp":1464066250000},"page":"248-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Type-Based Analysis for Session Inference (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Spaccasassi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasileios","family":"Koutavas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","DOI":"10.1142\/p132","volume-title":"Type and Effect Systems - Behaviours for Concurrency","author":"T Amtoft","year":"1999","unstructured":"Amtoft, T., Nielson, H.R., Nielson, F.: Type and Effect Systems - Behaviours for Concurrency. Imperial College Press, London (1999)"},{"key":"17_CR2","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. 6269, pp. 222\u2013236. Springer, Heidelberg (2010)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Giachino, E., Padovani, L.: Foundations of session types. In: PPDP, pp. 219\u2013230. ACM (2009)","DOI":"10.1145\/1599410.1599437"},{"issue":"2\u20133","key":"17_CR4","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 42(2\u20133), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"issue":"01","key":"17_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1017\/S0956796809990268","volume":"20","author":"S Gay","year":"2010","unstructured":"Gay, S., Vasconcelos, V.: Linear type theory for asynchronous session types. J. Funct. Prog. 20(01), 19\u201350 (2010)","journal-title":"J. Funct. Prog."},{"key":"17_CR6","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. 715, pp. 509\u2013523. Springer, Heidelberg (1993)"},{"key":"17_CR7","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. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"17_CR8","unstructured":"H\u00fcttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Deni\u00e9lou, P., Padovani, L., Ravara, A., Tuosto, E., Vieira, H., Zavattaro, G.: Foundations of session types and behavioural contracts. ACM Comp. Surv. (To appear)"},{"issue":"1","key":"17_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2000.2872","volume":"161","author":"A Igarashi","year":"2000","unstructured":"Igarashi, A., Kobayashi, N.: Type reconstruction for linear $$\\pi $$-calculus with I\/O subtyping. Inf. Comput. 161(1), 1\u201344 (2000)","journal-title":"Inf. Comput."},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-68265-3_14","volume-title":"Coordination Models and Languages","author":"LG Mezzina","year":"2008","unstructured":"Mezzina, L.G.: How to infer finite session types in a calculus of services and sessions. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 216\u2013231. Springer, Heidelberg (2008)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Padovani, L.: Type reconstruction for the linear $$\\pi $$-calculus with composite regular types. Logical Methods Comput. Sci. 11(4) (2015)","DOI":"10.2168\/LMCS-11(4:13)2015"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Palsberg, J.: Type-based analysis and applications. In: PASTE, pp. 20\u201327. ACM (2001)","DOI":"10.1145\/379605.379635"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Pucella, R., Tov, J.A.: Haskell session types with (almost) no class. In: Haskell Symposium, pp. 25\u201336. ACM (2008)","DOI":"10.1145\/1543134.1411290"},{"key":"17_CR14","unstructured":"Shivers, O.: Control-flow analysis of higher-order languages. Ph.D. thesis, CMU (1991)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Tofte, M., Talpin, J.: Implementation of the typed call-by-value lambda-calculus using a stack of regions. In: POPL, pp. 188\u2013201. ACM (1994)","DOI":"10.1145\/174675.177855"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-37036-6_20","volume-title":"Programming Languages and Systems","author":"B Toninho","year":"2013","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Higher-order processes, functions, and sessions: a monadic integration. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 350\u2013369. Springer, Heidelberg (2013)"},{"key":"17_CR17","unstructured":"Tov, J.: Practical programming with substructural types. Ph.D. thesis, Northeastern University (2012)"},{"issue":"1\u20132","key":"17_CR18","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.tcs.2006.06.028","volume":"368","author":"V Vasconcelos","year":"2006","unstructured":"Vasconcelos, V., Gay, S., Ravara, A.: Type checking a multithreaded functional language with session types. Theor. Computer Sci. 368(1\u20132), 64\u201387 (2006)","journal-title":"Theor. Computer Sci."},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Propositions as sessions. In: ICFP, pp. 273\u2013286. ACM (2012)","DOI":"10.1145\/2398856.2364568"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39570-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:09:56Z","timestamp":1590192596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39570-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395692","9783319395708"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39570-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}