


default search action
TGC 2011: Aachen, Germany
- Roberto Bruni, Vladimiro Sassone:
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7173, Springer 2012, ISBN 978-3-642-30064-6 - 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.