{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T18:46:01Z","timestamp":1726425961018},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2004,5,20]],"date-time":"2004-05-20T00:00:00Z","timestamp":1085011200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2004,6]]},"abstract":"<jats:p>The choice of suitable high-level communication primitives for wide area network programming languages remains an open problem. This paper is driven by the practical consideration of providing an efficient and secure communication infrastructure for mobile agent systems. This has led us to formalise the Lime coordination middleware and propose a simplified model, which we call CoreLime, that addresses some of the main shortcomings of Lime while retaining its distinguishing feature, namely <jats:italic>transient sharing of tuple spaces<\/jats:italic>. We further discuss a prototype implementation along with security extensions. Our contribution is thus an exploration of the language design space rather than a theoretical investigation of properties of these models.<\/jats:p>","DOI":"10.1017\/s0960129504004177","type":"journal-article","created":{"date-parts":[[2004,5,24]],"date-time":"2004-05-24T03:42:20Z","timestamp":1085370140000},"page":"397-419","source":"Crossref","is-referenced-by-count":3,"title":["Coordination and mobility in CoreLime"],"prefix":"10.1017","volume":"14","author":[{"given":"BOGDAN","family":"CARBUNAR","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARCO TULIO","family":"VALENTE","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JAN","family":"VITEK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2004,5,20]]},"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129504004177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T14:53:00Z","timestamp":1554043980000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129504004177\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,5,20]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,6]]}},"alternative-id":["S0960129504004177"],"URL":"https:\/\/doi.org\/10.1017\/s0960129504004177","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[2004,5,20]]}}}