{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:03Z","timestamp":1725460023769},"publisher-location":"Boston","reference-count":22,"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_45","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"591-604","source":"Crossref","is-referenced-by-count":2,"title":["Polya:True Type Polymorphism for Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Torben","family":"Amtoft","sequence":"first","affiliation":[]},{"given":"Henning","family":"Makholm","sequence":"additional","affiliation":[]},{"given":"J. B.","family":"Wells","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"T. Amtoft, A. J. Kfoury, S. M. Pericas-Geertsen. What are polymorphically-typed ambients? In D. Sands, ed., ESOP 2001, Genova, vol. 2028 of LNCS. Springer-Verlag, 2001. An extended version appears as Technical Report BUCS-TR-2000-021, Comp.Sci. Department, Boston University, 2000."},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"T. Amtoft, A. J. Kfoury, S. M. Pericas-Geertsen. Orderly communication in the ambient calculus. Computer Languages, 28, 2002.","DOI":"10.1016\/S0096-0551(02)00007-3"},{"key":"45_CR3","unstructured":"T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004."},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"M. Bugliesi, G. Castagna, S. Crafa. Boxed ambients. In 4th International Conference on Theoretical Aspects of Computer Science(TACS\u201901) vol. 2215 of LNCS. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45500-0_2"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wieder-mann et al., eds., ICALP\u201999, vol. 1644 of LNCS. Springer-Verlag, 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.","DOI":"10.1007\/3-540-48523-6_20"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"L. Cardelli, A. D. Gordon. Mobile ambients. In M. Nivat, ed., FoSSaCS\u201998, vol. 1378 of LNCS. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0053547"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"L. Cardelli, A. D. Gordon. Types for mobile ambients. In POPL\u201999, San Antonio, Texas. ACM Press, 1999.","DOI":"10.1145\/292540.292550"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"L. Cardelli, P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985.","DOI":"10.1145\/6041.6042"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"M. Coppo, M. Dezani-Ciancaglini. A fully abstract model for higher-order mobile ambients. In VMCAI 2002, vol. 2294 of LNCS, 2002.","DOI":"10.1007\/3-540-47813-2_18"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti, I. Salvo. M3: Mobility types for mobile processes in mobile ambients. In CATS 2003, vol. 78 of ENTCS, 2003.","DOI":"10.1016\/S1571-0661(04)81011-9"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"F. Levi, S. Maffeis. An abstract interpretation framework for analysing mobile ambients. In SAS\u201901, vol. 2126 of LNCS. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-47764-0_23"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"F. Levi, D. Sangiorgi. Controlling interference in ambients. In POPL\u201900, Boston, Massachusetts. ACM Press, 2000.","DOI":"10.1145\/325694.325741"},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"C. Lhoussaine, V. Sassone. A dependently typed ambient calculus. In Programming Languages & Systems, 13th European Symp. Programming, vol. 2986 of LNCS. Springer-Verlag, 2004.","DOI":"10.1007\/978-3-540-24725-8_13"},{"key":"45_CR14","unstructured":"H. Makholm, J. B. Wells. Type inference for PolyA. Technical Report HW-MACS-TR-0013, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004."},{"key":"45_CR15","unstructured":"R. Milner. Communicating and Mobile Systems: The \u03c0-Calculas Cambridge Press, 1999."},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. R. Nielson, M. Sagiv. A Kleene analysis of mobile ambients. In Programming Languages & Systems, 9th European Symp. Programming, vol. 1782 of LNCS. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-46425-5_20"},{"key":"45_CR17","doi-asserted-by":"crossref","unstructured":"H. R. Nielson, F. Nielson. Shape analysis for mobile ambients. Nordic Journal of Computing, 8, 2001. A preliminary version appeared at POPL\u201900.","DOI":"10.1145\/325694.325711"},{"key":"45_CR18","doi-asserted-by":"crossref","unstructured":"B. C. Pierce, D. Sangiorgi. Behavioralequivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3), 2000.","DOI":"10.1145\/337244.337261"},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"D. Teller, P. Zimmer, D. Hirschkoff. Using ambients to control resources. In CONCUR\u201902, vol. 2421 of LNCS. Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45694-5_20"},{"key":"45_CR20","unstructured":"D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345."},{"key":"45_CR21","doi-asserted-by":"crossref","unstructured":"J. B. Wells. The essence of principal typings. In Proc. 29th Int\u2019l Coll. Automata, Languages, and Programming, vol. 2380 of LNCS. Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45465-9_78"},{"key":"45_CR22","doi-asserted-by":"crossref","unstructured":"P. Zimmer. Subtyping and typing algorithms for mobile ambients. In FOSSACS 2000, Berlin, vol. 1784 of LNCS. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-46432-8_25"}],"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_45.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_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_45","relation":{},"subject":[]}}