TGC 2011: Aachen, Germany

• Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
  A Reputation System for Multirole Sessions. 1-24
  
• Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida:
  Asynchronous Distributed Monitoring for Multiparty Session Enforcement. 25-45
  
• Bernd Werther, Nicklas Hoch:
  E-Mobility as a Challenge for New ICT Solutions in the Car Industry. 46-57
  
• Carme Àlvarez, Amalia Duch, Maria J. Serna, Dimitrios M. Thilikos:
  On the Existence of Nash Equilibria in Strategic Search Games. 58-72
  
• Gilles Barthe, Exequiel Rivas:
  Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language. 73-88
  
• Marco Bernardo:
  Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. 89-103
  
• Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari:
  Constraints for Service Contracts. 104-120
  
• Liqun Chen, Ming-Feng Lee, Bogdan Warinschi:
  Security of the Enhanced TCG Privacy-CA Solution. 121-141
  
• Liliana D'Errico, Michele Loreti:
  Context Aware Specification and Verification of Distributed Systems. 142-159
  
• Rocco De Nicola, Andrea Margheri, Francesco Tiezzi:
  Orchestrating Tuple-Based Languages. 160-178
  
• Dominic Duggan, Ye Wu:
  Transactional Correctness for Secure Nested Transactions - (Extended Abstract). 179-196
  
• Joaquim Gabarró, Maria J. Serna, Alan Stewart:
  Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability. 197-211
  
• Hernán C. Melgratti, Christian Roldán:
  On Correlation Sets and Correlation Exceptions in ActiveBPEL. 212-226
  
• Chenyi Zhang:
  Conditional Information Flow Policies and Unwinding Relations. 227-241
  

Last update Thu May 23 08:09:16 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page