Coordinating mobile agents via blackboards and access rights

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 t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	De Nicola, Rocco, Ferrari, GianLuigi, Pugliese, Rosario
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Language theory and syntactical analysis Mobile Agent Operational Semantic Structural Rule Theoretical computing Type System Typing Rule
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!