TGC 2010: Munich, Germany

Invited Talks

• David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella:
  Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. 1-22
  
• Gilles Barthe, César Kunz:
  Perspectives in Certificate Translation. 23-34
  
• Marco Bernardo, Rocco De Nicola, Michele Loreti:
  Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. 35-56
  
• Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja:
  Toward a Game-Theoretic Model of Grid Systems. 57-72
  
• Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi:
  Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. 73-86
  
• Giuseppe Persiano:
  Predicate Encryption for Secure Remote Storage. 87
  
• Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou:
  Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. 88-102
  

Types and Processes

• Jan Jakubuv, J. B. Wells:
  Expressiveness of Generic Process Shape Types. 103-119
  
• Laura Bocchi, Emilio Tuosto:
  A Java Inspired Semantics for Transactions in SOC. 120-134
  
• Maxime Gamboni, António Ravara:
  Responsive Choice in Mobile Processes. 135-152
  
• Fabrizio Montesi, Davide Sangiorgi:
  A Model of Evolvable Components. 153-171
  

Games and Concurrent Systems

• Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou:
  The Impact of Altruism on the Efficiency of Atomic Congestion Games. 172-188
  
• Joaquim Gabarró, Peter Kilpatrick, Maria J. Serna, Alan Stewart:
  Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung. 189-204
  
• Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
  An Algebra of Hierarchical Graphs. 205-221
  
• Liliana D'Errico, Michele Loreti:
  Property-Preserving Refinement of Concurrent Systems. 222-236
  

Certification of Correctness

• César Kunz:
  Certificate Translation for the Verification of Concurrent Programs. 237-252
  
• Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin:
  Certified Result Checking for Polyhedral Analysis of Bytecode Programs. 253-267
  

Tools and Languages

• Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri:
  A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments. 268-283
  
• Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi:
  A Framework for Rule-Based Dynamic Adaptation. 284-300
  
• Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni:
  CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. 301-317
  
• Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
  Refactoring Long Running Transactions: A Case Study. 318-334
  

Probabilistic Aspects

• Paola Quaglia, Stefano Schivo:
  Approximate Model Checking of Stochastic COWS. 335-347
  
• Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
  Probabilistic Aspects: Checking Security in an Imperfect World. 348-363
  
• Igor Cappello, Paola Quaglia:
  A Tool for Checking Probabilistic Properties of COWS Services. 364-378
  

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