Skip to main content
  • Conference proceedings
  • © 2012

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

  • Unique visibility
  • State of the art research
  • Fast track conference proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): TGC: International Symposium on Trustworthy Global Computing

Conference proceedings info: TGC 2011.

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 papers)

  1. Front Matter

  2. A Reputation System for Multirole Sessions

    • Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
    Pages 1-24
  3. Asynchronous Distributed Monitoring for Multiparty Session Enforcement

    • Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
    Pages 25-45
  4. On the Existence of Nash Equilibria in Strategic Search Games

    • Carme Àlvarez, Amalia Duch, Maria Serna, Dimitrios Thilikos
    Pages 58-72
  5. Constraints for Service Contracts

    • Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
    Pages 104-120
  6. Security of the Enhanced TCG Privacy-CA Solution

    • Liqun Chen, Ming-Feng Lee, Bogdan Warinschi
    Pages 121-141
  7. Context Aware Specification and Verification of Distributed Systems

    • Liliana D’Errico, Michele Loreti
    Pages 142-159
  8. Orchestrating Tuple-Based Languages

    • Rocco De Nicola, Andrea Margheri, Francesco Tiezzi
    Pages 160-178
  9. Transactional Correctness for Secure Nested Transactions

    • Dominic Duggan, Ye Wu
    Pages 179-196
  10. Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability

    • Joaquim Gabarro, Maria Serna, Alan Stewart
    Pages 197-211
  11. On Correlation Sets and Correlation Exceptions in ActiveBPEL

    • Hernán Melgratti, Christian Roldán
    Pages 212-226
  12. Back Matter

Other Volumes

  1. Trustworthy Global Computing

About this book

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.

Editors and Affiliations

  • Computer Science Department, University of Pisa, Pisa, Italy

    Roberto Bruni

  • ECS, University of Southampton, Southampton, UK

    Vladimiro Sassone

Bibliographic Information

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access