{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:43Z","timestamp":1725791023817},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548291"},{"type":"electronic","value":"9783642548307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_6","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:30:31Z","timestamp":1395394231000},"page":"88-102","source":"Crossref","is-referenced-by-count":3,"title":["Type Reconstruction for the Linear \u03c0-Calculus with Composite and Equi-Recursive Types"],"prefix":"10.1007","author":[{"given":"Luca","family":"Padovani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Courcelle, B.: Fundamental properties of infinite trees. Theor. Comp. Sci.\u00a025, 95\u2013169 (1983)","journal-title":"Theor. Comp. Sci."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. In: PPDP 2012, pp. 139\u2013150. ACM (2012)","DOI":"10.1145\/2370776.2370794"},{"key":"6_CR3","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":"6_CR4","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":"6_CR5","doi-asserted-by":"crossref","unstructured":"Igarashi, A.: Type-based analysis of usage of values for concurrent programming languages (1997), \n                    \n                      http:\/\/www.sato.kuis.kyoto-u.ac.jp\/~igarashi\/papers\/","DOI":"10.1007\/BFb0032742"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BFb0032742","volume-title":"Static Analysis","author":"A. Igarashi","year":"1997","unstructured":"Igarashi, A., Kobayashi, N.: Type-based analysis of communication for concurrent programming languages. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302, pp. 187\u2013201. Springer, Heidelberg (1997)"},{"issue":"1","key":"6_CR7","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 \u03c0-Calculus with I\/O Subtyping. Inf. and Comp.\u00a0161(1), 1\u201344 (2000)","journal-title":"Inf. and Comp."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Kobayashi, N.: Quasi-linear types. In: POPL 1999, pp. 29\u201342. ACM (1999)","DOI":"10.1145\/322796.322804"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-40007-3_26","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"N. Kobayashi","year":"2003","unstructured":"Kobayashi, N.: Type systems for concurrent programs. In: Aichernig, B.K. (ed.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 439\u2013453. Springer, Heidelberg (2003), Extended version at \n                    \n                      http:\/\/www.kb.ecei.tohoku.ac.jp\/~koba\/papers\/tutorial-type-extended.pdf"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11817949_16","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"N. Kobayashi","year":"2006","unstructured":"Kobayashi, N.: A new type system for deadlock-free processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 233\u2013247. Springer, Heidelberg (2006)"},{"issue":"5","key":"6_CR11","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","author":"N. Kobayashi","year":"1999","unstructured":"Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst.\u00a021(5), 914\u2013947 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR12","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":"L.G. 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.\u00a05052, pp. 216\u2013231. Springer, Heidelberg (2008)"},{"key":"6_CR13","unstructured":"Nestmann, U., Steffen, M.: Typing confluence. In: FMICS 1997, pp. 77\u2013101 (1997), Also available as report ERCIM-10\/97-R052, European Research Consortium for Informatics and Mathematics (1997)"},{"key":"6_CR14","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus - A theory of mobile processes. Cambridge University Press (2001)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Turner, D.N., Wadler, P., Mossin, C.: Once upon a type. In: FPCA 1995, pp. 1\u201311 (1995)","DOI":"10.1145\/224164.224168"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54830-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:15:47Z","timestamp":1558858547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}