{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:22Z","timestamp":1761611122630},"reference-count":13,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4859,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1016\/s1571-0661(04)00237-3","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T05:34:35Z","timestamp":1075959275000},"page":"81-91","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Modelling Node Connectivity in Dynamically Evolving Networks"],"prefix":"10.1016","volume":"54","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB1","series-title":"\u201cThe Java Programming Language,\u201d","author":"Arnold","year":"2000"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Bettini L., R. De Nicola, G. Ferrari and R. Pugliese, Interactive Mobile Agents in X- KLAIM , in: P. Ciancarini and R. Tolksdorf, editors, Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (1998), pp. 110\u2013115.","DOI":"10.1109\/ENABL.1998.725680"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Bettini L., M. Loreti and R. Pugliese, Structured Nets in KLAIM , in: Proc. of ACM SAC 2000, Special Track on Coordination Models, Languages and Applications (2000).","DOI":"10.1145\/335603.335736"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Cardelli L. and A. Gordon, Mobile ambients, in: Foundations of Software Science and Computation Structures (FoSSaCS'98), number 1378 in LNCS (1998), pp. 140\u2013155.","DOI":"10.1007\/BFb0053547"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB5","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","article-title":"KLAIM : a Kernel Language for Agents Interaction and Mobility","volume":"24","author":"De Nicola","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB6","doi-asserted-by":"crossref","unstructured":"De Nicola R., G. Ferrari and R. Pugliese, Types as Specifications of Access Policies, in: J. Vitek and C. Jensen, editors, Secure Internet Programming: Security Issues for Distributed and Mobile Objects, number 1603 in LNCS (1999), pp. 117\u2013146.","DOI":"10.1007\/3-540-48749-2_6"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB7","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","article-title":"Types for Access Control","volume":"240","author":"De Nicola","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB8","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative Communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB9","series-title":"\u201cCommunication and Concurrency,\u201d","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB10","unstructured":"Milner R., The polyadic \u03c0-calculus: a tutorial, Technical Report ECS-LFCS-91\u2013180, Dep. of Comp. Sci., Edinburgh Univ. (1991)."},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Picco G., A. Murphy, and G.-C. Roman, LIME : Linda Meets Mobility, in: D. Garlan, editor, Proc. of the 218t Int. Conference on Software Engineering (ICSE'99) (1999), pp. 368\u2013377.","DOI":"10.1145\/302405.302659"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Vitek J. and G. Castagna, Seal: A Framework for Secure Mobile Computations, in: Internet Programming Languages, number 1686 in LNCS, Springer, 1999.","DOI":"10.1007\/3-540-47959-7_3"},{"key":"10.1016\/S1571-0661(04)00237-3_NEWBIB13","series-title":"Telescript Technology: The Foundation for the Electronic Marketplace","author":"White","year":"1994"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002373?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002373?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T01:57:43Z","timestamp":1550195863000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104002373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":13,"alternative-id":["S1571066104002373"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00237-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}