TGC 2008: Barcelona, Spain

• Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro:
  Contract-Driven Implementation of Choreographies. 1-18
  Electronic Edition (link) BibTeX
• Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
  Model Checking Usage Policies. 19-35
  Electronic Edition (link) BibTeX
• Abhishek Bhowmick, Catuscia Palamidessi:
  Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols. 36-51
  Electronic Edition (link) BibTeX
• Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro:
  Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. 52-68
  Electronic Edition (link) BibTeX
• Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina:
  Provably Correct Implementations of Services. 69-86
  Electronic Edition (link) BibTeX
• Luís Caires, Carla Ferreira, Hugo Torres Vieira:
  A Process Calculus Analysis of Compensations. 87-103
  Electronic Edition (link) BibTeX
• Mario Coppo, Mariangiola Dezani-Ciancaglini:
  Structured Communications with Concurrent Constraints. 104-125
  Electronic Edition (link) BibTeX
• Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi:
  Type Systems for Bigraphs. 126-140
  Electronic Edition (link) BibTeX
• Daniele Gorla:
  On the Relative Expressive Power of Ambient-Based Calculi. 141-156
  Electronic Edition (link) BibTeX
• Adrian Kosowski, Alfredo Navarra, Maria Cristina Pinotti:
  Connectivity in Multi-interface Networks. 157-170
  Electronic Edition (link) BibTeX
• Christelle Molle, Fabrice Peix, Stéphane Pérennes, Hervé Rivano:
  Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations. 171-185
  Electronic Edition (link) BibTeX
• Scott D. Stoller:
  Trust Management and Trust Negotiation in an Extension of SQL. 186-200
  Electronic Edition (link) BibTeX
• Cátia Vaz, Carla Ferreira, António Ravara:
  Dynamic Recovering of Long Running Transactions. 201-215
  Electronic Edition (link) BibTeX