{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:12Z","timestamp":1725460032081},"publisher-location":"Boston","reference-count":14,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_46","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"605-618","source":"Crossref","is-referenced-by-count":1,"title":["Recovering Resources in the \u03c0-Calculus (DRAFT)"],"prefix":"10.1007","author":[{"given":"David","family":"Teller","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley, 1998."},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and V. Sassone. A calculus of bounded capacities. In ASIAN\u201903, number 2896 in LNCS, pages 205\u2013223. Springer-Verlag, 2003.","DOI":"10.1007\/978-3-540-40965-6_14"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"A. Gordon. Notes on nominal calculi for security and mobility. In R. Focardi and R. Gorrieri, editors, FOSAD, volume 2171 of LNCS, pages 262\u2013330.Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45608-2_5"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"A. Igarashi and N. Kobayashi. A generic type system for the pi-calculus. In POPL, pages 128\u2013141, 2001.","DOI":"10.1145\/360204.360215"},{"key":"46_CR5","unstructured":"S. Jost. lfd-infer: an implementation of a static inference on heapspace usage. In Proceedings of SPACE 2004, 2004."},{"issue":"5","key":"46_CR6","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","author":"N. Kobayashi","year":"1999","unstructured":"Naoki Kobayashi, Benjamin C. Pierce, and David N. Turner. Linearity and the Pi-Calculus. ACM Transactions on Programming Languages and Systems, 21(5):914\u2013947, 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"Greg Morrisett, Matthias Felleisen, and Robert Harper. Abstract models of memory management. In Proceedings of FPCA 1995, pages 66\u201377. ACM Press, 1995.","DOI":"10.1145\/224164.224182"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In CONCUR\u201999, volume 1664 of LNCS, pages 557\u2013572.Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48320-9_38"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. In 8th IEEE Logics in Computer Science, pages 376\u2013385, Montreal, Canada, 1993.","DOI":"10.1109\/LICS.1993.287570"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"D. Teller. Formalisms for mobile resource control. In FCG\u201903, volume 85 of ENCS. Elsevier, 2003.","DOI":"10.1016\/S1571-0661(05)80084-2"},{"key":"46_CR11","unstructured":"D. Teller. Resource recovery in pi-calculus-technical annex. 2004.available at http:\/\/perso.ens-lyon.fr\/david.teller\/recherche\/Publications\/cpita.pdf ."},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"D. Teller, P. Zimmer, and D. Hirschkoff. Using Ambients to Control Resources. In Proc. of CONCUR\u201902, volume 2421 of LNCS. Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45694-5_20"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"N. Yoshida. Graph types for monadic mobile processes. In Foundations of Software Technology and Theoretical Computer Science, pages 371\u2013386, 1996.","DOI":"10.1007\/3-540-62034-6_64"},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"S. Dal Zilio and A. D. Gordon. Region analysis and a \u03c0-calculus with groups. In MFCS 2000: 25th ISMFCS, 2000.","DOI":"10.1007\/3-540-44612-5_1"}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:23Z","timestamp":1619555303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_46","relation":{},"subject":[]}}