TY  - CHAP
T2  - Coordination Languages and Models (COORDINATION 1997)
PB  - Springer
ED  - Garlan, David
ED  - Le Metayer, Daniel
EP  - 237
N2  - LLinda (Locality based Linda) is a variant of Linda which supports a programming paradigm where agents can migrate from one computing environment to another. In this paper, we define a type system for LLinda that permits statically checking access rights violations of mobile agents. Types are used to describe processes intentions (read, write, execute, ...) relatively to the different localities they are willing to interact with or they want to migrate to. The type system is used to determine the operations that processes want to perform at each locality, to check whether they comply with the declared intentions and whether they have the necessary rights to perform the intended operations at the specific localities.
T3  - Lecture Notes in Computer Science
UR  - http://dx.doi.org/10.1007/3-540-63383-9_83
A1  - De Nicola, Rocco
A1  - Ferrari, GianLuigi
A1  - Pugliese, Rosario
TI  - Coordinating Mobile Agents via Blackboards and Access Rights
Y1  - 1997///
ID  - eprints352
SP  - 220
M1  - 1282
SN  - 3-540-63383-9
AV  - none
ER  -