Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

  • Editors
  • Ugo Montanari
  • Donald Sannella
  • Roberto Bruni
Conference proceedings TGC 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4661)

Table of contents

  1. Front Matter
  2. FP6 Project Overviews

    1. Christos Kaklamanis
      Pages 1-9
    2. Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller et al.
      Pages 10-29
    3. Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone et al.
      Pages 30-50
    4. Torsten Eymann, Werner Streitberger, Sebastian Hudert
      Pages 51-68
  3. Keynote Speakers

    1. Evangelos Kranakis, Danny Krizanc
      Pages 86-97
  4. Types to Discipline Interactions

    1. Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter
      Pages 116-131
  5. Calculi for Distributed Systems

    1. Roberto Bruni, Ivan Lanese
      Pages 132-149
    2. Lucia Acciai, Michele Boreale, Silvano Dal Zilio
      Pages 167-182
  6. Flexible Modeling

    1. Luciano Baresi, Karsten Ehrig, Reiko Heckel
      Pages 183-199
    2. Davide Bacciu, Alessio Botta, Hernán Melgratti
      Pages 200-217
  7. Algorithms and Systems for Global Computing

    1. Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou
      Pages 218-232
    2. Francesco Silvestri
      Pages 233-243
    3. Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk et al.
      Pages 244-262
  8. Security, Anonymity and Type Safety

    1. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović
      Pages 263-280
    2. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
      Pages 281-300
    3. Tom Chothia, Simona Orzan, Jun Pang, Mohammad Torabi Dashti
      Pages 301-318

About these proceedings

Keywords

Bisimulation Simulation XML algorithm algorithms anonymity authentication calculi dependable computing global computing graph transformation logic model transformation model-base modeling

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75336-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75333-9
  • Online ISBN 978-3-540-75336-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book