Trustworthy Global Computing

9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

  • Matteo Maffei
  • Emilio Tuosto
Conference proceedings TGC 2014

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8902)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Ana Almeida-Matos, José Fragoso Santos, Tamara Rezk
    Pages 1-16
  3. Giorgio Bacci, Marino Miculan, Romeo Rizzi
    Pages 17-33
  4. Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
    Pages 34-50
  5. Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
    Pages 51-66
  6. Andrea Cerone, Matthew Hennessy
    Pages 67-81
  7. Vincent Cheval, Stéphanie Delaune, Mark Ryan
    Pages 82-96
  8. Luca Fossati, Raymond Hu, Nobuko Yoshida
    Pages 112-127
  9. Peter Thiemann
    Pages 144-158
  10. Bernardo Toninho, Luis Caires, Frank Pfenning
    Pages 159-175
  11. Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
    Pages 176-191
  12. Back Matter
    Pages 193-193

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 23 submissions. The Symposium on Trustworthy Global Computing  focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.


Abstraction mechanisms Algorithms Autonomic systems Cloud computing Global computing Information flow policies Language concepts Languages Model checking Models Privacy Reliability Resource usage Security Service-oriented architectures Software development Software principles Static analyzers & Trust Theorem proving Verification

Editors and affiliations

  • Matteo Maffei
    • 1
  • Emilio Tuosto
    • 2
  1. 1.Department of Computer ScienceSaarland UniversitySaarbrückenGermany
  2. 2.Computer ScienceUniversity of LeicesterLeicesterUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-45916-4
  • Online ISBN 978-3-662-45917-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment