{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:49Z","timestamp":1725483769462},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_1","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:28:20Z","timestamp":1178357300000},"page":"1-20","source":"Crossref","is-referenced-by-count":7,"title":["Region Analysis and a \u03c0-Calculus with Groups"],"prefix":"10.1007","author":[{"given":"Silvano Dal","family":"Zilio","sequence":"first","affiliation":[]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1\u201370, 1999. An extended version appears as Research Report 149, Digital Equipment Corporation Systems Research Center, January 1998.","DOI":"10.1006\/inco.1998.2740"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"A. Aiken, M. F\u00e4hndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Proceedings PLDI\u201995, pages 174\u2013185, 1995.","DOI":"10.1145\/223428.207137"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"A. Banerjee, N. Heintze, and J. Riecke. Region analysis and the polymorphic lambda calculus. In Proceedings LICS\u201999, 1999.","DOI":"10.1109\/LICS.1999.782594"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"L. Birkedal, M. Tofte, and M. Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proceedings POPL\u201996, pages 171\u2013183. 1996.","DOI":"10.1145\/237721.237771"},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings TCS2000","author":"L. Cardelli","year":"2000","unstructured":"L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Proceedings TCS2000, Lecture Notes in Computer Science. Springer, 2000. To appear."},{"key":"1_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings Concur\u201900","author":"L. Cardelli","year":"2000","unstructured":"L. Cardelli, G. Ghelli, and A. D. Gordon. Group creation and secrecy. In Proceedings Concur\u201900, Lecture Notes in Computer Science. Springer, 2000. To appear."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"K. Crary, D. Walker, and G. Morrisett. Typed memory management in a calculus of capabilities. In Proceedings POPL\u201999, pages 262\u2013275, 1999.","DOI":"10.1145\/292540.292564"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"S. Dal Zilio and A. D. Gordon. Region analysis and a \u03c0-calculus with groups. Technical Report MSR-TR-2000-57, Microsoft Research, 2000.","DOI":"10.1007\/3-540-44612-5_1"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive CHAM and the Join-calculus. In Proceedings POPL\u201996, pages 372\u2013385, 1996.","DOI":"10.1145\/237721.237805"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"D. K. Gifford and J. M. Lucassen. Integrating functional and imperative programming. In Proceedings L &FP\u201986, pages 28\u201338, 1986.","DOI":"10.1145\/319838.319848"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"J. Hughes and L. Pareto. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In Proceedings ICFP\u201999, pages 70\u201381, 1999.","DOI":"10.1145\/317636.317785"},{"issue":"4","key":"1_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF01018827","volume":"8","author":"J. Launchbury","year":"1995","unstructured":"J. Launchbury and S. Peyton Jones. State in Haskell. Lisp and Symbolic Computation, 8(4):293\u2013341, 1995.","journal-title":"Lisp and Symbolic Computation"},{"issue":"5","key":"1_CR13","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1017\/S0956796800001933","volume":"6","author":"X. Leroy","year":"1996","unstructured":"X. Leroy. A syntactic theory of type generativity and sharing. Journal of Functional Programming, 6(5):667\u2013698, 1996.","journal-title":"Journal of Functional Programming"},{"key":"1_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1007\/BFb0055108","volume-title":"Proceedings ICALP\u201998","author":"M. Merro","year":"1998","unstructured":"M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. In Proceedings ICALP\u201998, volume 1443 of Lecture Notes in Computer Science, pages 856\u2013867. Springer, 1998."},{"key":"1_CR15","unstructured":"R. Milner. Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, 1999."},{"key":"1_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Proceedings ICALP\u201992","author":"R. Milner","year":"1992","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulation. In Proceedings ICALP\u201992, volume 623 of Lecture Notes in Computer Science, pages 685\u2013695. Springer, 1992."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"E. Moggi and F. Palumbo. Monadic encapsulation of effects: a revised approach. In Proceedings HOOTS99, volume 26 of Electronic Notes in Theoretical Computer Science, pages 119\u2013136. Elsevier, 1999.","DOI":"10.1016\/S1571-0661(05)80287-7"},{"issue":"5","key":"1_CR19","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B. Pierce","year":"1996","unstructured":"B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409\u2013454, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR20","unstructured":"B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling, and M. Tofte, editors, MIT Press, 2000."},{"key":"1_CR21","unstructured":"C. V. Russo. Standard ML type generativity as existential quantification. Technical Report ECS-LFCS-96-344, LFCS, University of Edinburgh, 1996."},{"key":"1_CR22","unstructured":"D. Sangiorgi. Interpreting functions as \u03c0-calculus processes: a tutorial. Technical Report 3470, INRIA, 1998. Draft chapter to appear in The pi-calculus: a theory of mobile processes, D. Sangiorgi and W. Walker, Cambridge University Press, 2000."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"M. Semmelroth and A. Sabry. Monadic encapsulation in ML. In Proceedings ICFP\u201999, pages 8\u201317, 1999.","DOI":"10.1145\/317636.317777"},{"issue":"3","key":"1_CR24","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"J.-P. Talpin and P. Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3):245\u2013271, 1992.","journal-title":"Journal of Functional Programming"},{"key":"1_CR25","unstructured":"C. J. Taylor. Formalising and Reasoning about Fudgets. PhD thesis, University of Nottingham, 1998. Available as Technical Report NOTTCS-TR-98-4."},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109\u2013176, 1997.","journal-title":"Information and Computation"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"P. Wadler. The marriage of effects and monads. In Proceedings ICFP\u201998, pages 63\u201374, 1998.","DOI":"10.1145\/289423.289429"},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the pi-calculus. Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T15:15:13Z","timestamp":1587482113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}