TGC 2006: Lucca, Italy

FP6 Project Overviews

• Christos Kaklamanis:
  Project AEOLUS: An Overview. 1-9
  Electronic Edition (link) BibTeX
• Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard:
  MOBIUS: Mobility, Ubiquity, Security. 10-29
  Electronic Edition (link) BibTeX
• Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro:
  SensoriaProcess Calculi for Service-Oriented Computing. 30-50
  Electronic Edition (link) BibTeX
• Torsten Eymann, Werner Streitberger, Sebastian Hudert:
  Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks. 51-68
  Electronic Edition (link) BibTeX

Keynote Speakers

• Paola Inverardi:
  Software of the Future Is the Future of Software? 69-85
  Electronic Edition (link) BibTeX
• Evangelos Kranakis, Danny Krizanc:
  An Algorithmic Theory of Mobile Agents. 86-97
  Electronic Edition (link) BibTeX

Types to Discipline Interactions

• Luís Caires:
  Spatial-Behavioral Types, Distributed Services, and Resources. 98-115
  Electronic Edition (link) BibTeX
• Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter:
  Integration of a Security Type System into a Program Logic. 116-131
  Electronic Edition (link) BibTeX

Calculi for Distributed Systems

• Roberto Bruni, Ivan Lanese:
  PRISMA: A Mobile Calculus with Parametric Synchronization. 132-149
  Electronic Edition (link) BibTeX
• Damien Pous:
  On Bisimulation Proofs for the Analysis of Distributed Abstract Machines. 150-166
  Electronic Edition (link) BibTeX
• Lucia Acciai, Michele Boreale, Silvano Dal-Zilio:
  A Typed Calculus for Querying Distributed XML Documents. 167-182
  Electronic Edition (link) BibTeX

Flexible Modeling

• Luciano Baresi, Karsten Ehrig, Reiko Heckel:
  Verification of Model Transformations: A Case Study with BPEL. 183-199
  Electronic Edition (link) BibTeX
• Davide Bacciu, Alessio Botta, Hernán C. Melgratti:
  A Fuzzy Approach for Negotiating Quality of Services. 200-217
  Electronic Edition (link) BibTeX

Algorithms and Systems for Global Computing

• Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou:
  Scheduling to Maximize Participation. 218-232
  Electronic Edition (link) BibTeX
• Francesco Silvestri:
  On the Limits of Cache-Oblivious Matrix Transposition. 233-243
  Electronic Edition (link) BibTeX
• Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers:
  The KOA Remote Voting System: A Summary of Work to Date. 244-262
  Electronic Edition (link) BibTeX

Security, Anonymity and Type Safety

• Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic:
  Security Types for Dynamic Web Data. 263-280
  Electronic Edition (link) BibTeX
• Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
  Anonymity Protocols as Noisy Channels. 281-300
  Electronic Edition (link) BibTeX
• Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti:
  A Framework for Automatically Checking Anonymity with mu CRL. 301-318
  Electronic Edition (link) BibTeX
• Sonia Fagorzi, Elena Zucca:
  A Framework for Type Safe Exchange of Mobile Code. 319-338
  Electronic Edition (link) BibTeX