In:
Mathematical Structures in Computer Science, Cambridge University Press (CUP), Vol. 14, No. 3 ( 2004-06), p. 397-419
Abstract:
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 transient sharing of tuple spaces . 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.
Type of Medium:
Online Resource
ISSN:
0960-1295
,
1469-8072
DOI:
10.1017/S0960129504004177
Language:
English
Publisher:
Cambridge University Press (CUP)
Publication Date:
2004
detail.hit.zdb_id:
2002549-X
detail.hit.zdb_id:
1070265-9
SSG:
17,1
