Skip to main content
  • Conference proceedings
  • © 2009

Trustworthy Global Computing

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

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)

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

Conference proceedings info: TGC 2008.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

  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. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

    • Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
    Pages 52-68
  5. Provably Correct Implementations of Services

    • Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
    Pages 69-86
  6. A Process Calculus Analysis of Compensations

    • Luís Caires, Carla Ferreira, Hugo Vieira
    Pages 87-103
  7. Structured Communications with Concurrent Constraints

    • Mario Coppo, Mariangiola Dezani-Ciancaglini
    Pages 104-125
  8. Type Systems for Bigraphs

    • Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi
    Pages 126-140
  9. Connectivity in Multi-interface Networks

    • Adrian Kosowski, Alfredo Navarra, Cristina M. Pinotti
    Pages 157-170
  10. 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
  11. Dynamic Recovering of Long Running Transactions

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

Other Volumes

  1. Trustworthy Global Computing

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.

Keywords

  • Routing
  • SQL
  • access control
  • anonymity
  • approximation algorithms
  • authentication
  • bigraphs
  • calculi
  • concurrent computing
  • distributed computing
  • distributed systems
  • formal methods
  • graph transformation
  • model checking
  • networks

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions