{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:33:05Z","timestamp":1761607985389,"version":"build-2065373602"},"reference-count":13,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3772,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["DART IST-2001-33477","IST-2001-32222"],"award-info":[{"award-number":["DART IST-2001-33477","IST-2001-32222"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1016\/s1571-0661(04)81011-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"144-177","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"special_numbering":"C","title":["M3"],"prefix":"10.1016","volume":"78","author":[{"given":"Mario","family":"Coppo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elio","family":"Giovannetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB1","series-title":"ESOP'01, volume 2028 of LNCS","first-page":"206","article-title":"What are polymorphically-typed ambients?","author":"Amtoft","year":"2001"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB2","series-title":"POPL'01","first-page":"222","article-title":"Secure safe ambients","author":"Bugliesi","year":"2001"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB3","series-title":"TACS'01, volume 2215 of LNCS","first-page":"38","article-title":"Boxed ambients","author":"Bugliesi","year":"2001"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB4","series-title":"ICALP'99, volume 1644 of LNCS","first-page":"230","article-title":"Mobility types for mobile ambients","author":"Cardelli","year":"1999"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB5","series-title":"FoSSaCS'98, volume 1378 of LNCS","first-page":"140","article-title":"Mobile ambients","author":"Cardelli","year":"1998"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB6","series-title":"ASIAN'00, volume 1961 of LNCS","first-page":"215","article-title":"Security types for safe mobile ambients","author":"Dezani-Ciancaglini","year":"2000"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB7","series-title":"HLCL'98, volume 16(3) of ENTCS","article-title":"Resource access control in systems of mobile agents (extended abstract)","author":"Hennessy","year":"1998"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB8","series-title":"POPL'00","first-page":"352","article-title":"Controlling interference in ambients","author":"Levi","year":"2000"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB9","series-title":"CONCUR'02, volume 2421 of LNCS","first-page":"304","article-title":"Typing and subtyping mobility in boxed ambients","author":"Merro","year":"2002"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB10","series-title":"Logic and Algebra of Specification, volume 94 of NATO ASI Series F: Computer and systems Sciences","first-page":"203","article-title":"The Plyadic \u03c0-calculus: A tutorial","author":"Milner","year":"1993"},{"issue":"1","key":"10.1016\/S1571-0661(04)81011-9_NEWBIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, parts 1-2","volume":"100","author":"Milner","year":"1992","journal-title":"Information and Computation"},{"issue":"5","key":"10.1016\/S1571-0661(04)81011-9_NEWBIB12","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","article-title":"Typing and subtyping for mobile processes","volume":"6","author":"Pierce","year":"1996","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)81011-9_NEWBIB13","series-title":"ICALP'02, volume 2380 of LNCS","first-page":"913","article-title":"The essence of principal typings","author":"Wells","year":"2002"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810119?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810119?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:29:34Z","timestamp":1761607774000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104810119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":13,"alternative-id":["S1571066104810119"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)81011-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2003,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"M3","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)81011-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}