Christos Kaklamanis (auth.), Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)3540753338, 9783540753339
The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.
Table of contents :
Front Matter….Pages –
Project AEOLUS: An Overview….Pages 1-9
MOBIUS: Mobility, Ubiquity, Security….Pages 10-29
Sensoria Process Calculi for Service-Oriented Computing….Pages 30-50
Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks….Pages 51-68
Software of the Future Is the Future of Software?….Pages 69-85
An Algorithmic Theory of Mobile Agents….Pages 86-97
Spatial-Behavioral Types, Distributed Services, and Resources….Pages 98-115
Integration of a Security Type System into a Program Logic….Pages 116-131
PRISMA: A Mobile Calculus with Parametric Synchronization….Pages 132-149
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines….Pages 150-166
A Typed Calculus for Querying Distributed XML Documents….Pages 167-182
Verification of Model Transformations: A Case Study with BPEL….Pages 183-199
A Fuzzy Approach for Negotiating Quality of Services….Pages 200-217
Scheduling to Maximize Participation….Pages 218-232
On the Limits of Cache-Oblivious Matrix Transposition….Pages 233-243
The KOA Remote Voting System: A Summary of Work to Date….Pages 244-262
Security Types for Dynamic Web Data….Pages 263-280
Anonymity Protocols as Noisy Channels….Pages 281-300
A Framework for Automatically Checking Anonymity with μ CRL….Pages 301-318
A Framework for Type Safe Exchange of Mobile Code….Pages 319-338
Back Matter….Pages –
Reviews
There are no reviews yet.