TGC 2008: Barcelona, Spain

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

Last update Fri May 25 08:43:08 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page