eprintid: 352
rev_number: 12
eprint_status: archive
userid: 32
dir: disk0/00/00/03/52
datestamp: 2011-06-10 12:28:33
lastmod: 2014-01-15 10:32:29
status_changed: 2011-06-10 12:28:33
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Ferrari, GianLuigi
creators_name: Pugliese, Rosario
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: Coordinating Mobile Agents via Blackboards and Access Rights
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.
date: 1997
date_type: published
series: Lecture Notes in Computer Science
volume: 1282
publisher: Springer
pagerange: 220-237
id_number: 10.1007/3-540-63383-9_83
refereed: TRUE
isbn: 3-540-63383-9
book_title: Coordination Languages and Models (COORDINATION 1997)
editors_name: Garlan, David
editors_name: Le Metayer, Daniel
official_url: http://dx.doi.org/10.1007/3-540-63383-9_83
funders: Work partially supported by EEC: HCM project EXPRESS and Esprit Working Group CONFER2, by CNR Integrated Project "Metodi e Strumenti per la Progettazione e la Verifica di Sistemi Eterogenei Connessi mediante Reti di Comunicazione"
funders: and Progetto Speciale "Modelli e Metodi per la Matematica e l'Ingegneria", and by Istituto di Elaborazione dell'Informazione CNR, Pisa.
citation:   De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario  Coordinating Mobile Agents via Blackboards and Access Rights.   In:  Coordination Languages and Models (COORDINATION 1997).   Lecture Notes in Computer Science, 1282 .  Springer, pp. 220-237.  ISBN 3-540-63383-9      (1997)