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