Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)

Donald Sannella, Vladimiro Sassone

Research output: Contribution to journalArticlepeer-review

Abstract

Global computing refers to systems of interacting computational agents exhibiting the following characteristics:
• they are autonomous, in that their activity is not centrally coordinated;
• they are mobile, and their number, connectivity, and communication bandwidth may change during computation;
• they have a limited knowledge of their working environment, and no global information about the state of the
computation is available, nor is a globally trusted authority
Original languageEnglish
Pages (from-to)337-340
Number of pages4
JournalTheoretical Computer Science
Volume389
Issue number3
DOIs
Publication statusPublished - 2007

Fingerprint

Dive into the research topics of 'Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)'. Together they form a unique fingerprint.

Cite this