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 updated on Thu May 23 03:46:40 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page