Skip to main content
Springer Nature Link
Log in

Trustworthy Global Computing

4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Christos Kaklamanis

    1. Department of Computer Engineering and Informatics, University of Patras and RA CTI, Rion, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Flemming Nielson

    1. Department of Informatics and Mathematical Modelling, Richard Pedersens Plads, Technical University of Denmark, Kongens Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: TGC 2008.

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

Access this book

Log in via an institution
Softcover Book USD 54.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

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

Similar content being viewed by others

Keywords

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Contract-Driven Implementation of Choreographies

    • Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro
    Pages 1-18

  3. Model Checking Usage Policies

    • Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Pages 19-35

  4. Bounds on the Leakage of the Input’s Distribution in Information-Hiding Protocols

    • Abhishek Bhowmick, Catuscia Palamidessi
    Pages 36-51

  5. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

    • Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
    Pages 52-68

  6. Provably Correct Implementations of Services

    • Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
    Pages 69-86

  7. A Process Calculus Analysis of Compensations

    • Luís Caires, Carla Ferreira, Hugo Vieira
    Pages 87-103

  8. Structured Communications with Concurrent Constraints

    • Mario Coppo, Mariangiola Dezani-Ciancaglini
    Pages 104-125

  9. Type Systems for Bigraphs

    • Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi
    Pages 126-140

  10. On the Relative Expressive Power of Ambient-Based Calculi

    • Daniele Gorla
    Pages 141-156

  11. Connectivity in Multi-interface Networks

    • Adrian Kosowski, Alfredo Navarra, Cristina M. Pinotti
    Pages 157-170

  12. Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations

    • Christelle Molle, Fabrice Peix, Stéphane Pérennes, Hervé Rivano
    Pages 171-185

  13. Trust Management and Trust Negotiation in an Extension of SQL

    • Scott D. Stoller
    Pages 186-200

  14. Dynamic Recovering of Long Running Transactions

    • Cátia Vaz, Carla Ferreira, António Ravara
    Pages 201-215

  15. Back Matter

    Download chapter PDF
Back to top

Editors and Affiliations

  • Department of Computer Engineering and Informatics, University of Patras and RA CTI, Rion, Greece

    Christos Kaklamanis

  • Department of Informatics and Mathematical Modelling, Richard Pedersens Plads, Technical University of Denmark, Kongens Lyngby, Denmark

    Flemming Nielson

Bibliographic Information

Publish with us

Policies and ethics

Back to top