Trustworthy Global Computing

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Content-Driven Reputation for Collaborative Systems
3. Altmetric Badge
   Chapter 2 Challenges for Quantitative Analysis of Collective Adaptive Systems
4. Altmetric Badge
   Chapter 3 The Scribble Protocol Language
5. Altmetric Badge
   Chapter 4 Dynamic Measurement and Protected Execution: Model and Analysis
6. Altmetric Badge
   Chapter 5 Security Correctness for Secure Nested Transactions
7. Altmetric Badge
   Chapter 6 Types for Resources in $$\psi $$ -calculi
8. Altmetric Badge
   Chapter 7 A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
9. Altmetric Badge
   Chapter 8 Timed $$\pi $$ -Calculus
10. Altmetric Badge
    Chapter 9 Towards Static Deadlock Resolution in the $$\pi $$ -Calculus
11. Altmetric Badge
    Chapter 10 Fine-Grained and Coarse-Grained Reactive Noninterference
12. Altmetric Badge
    Chapter 11 Information Flow Analysis for Valued-Indexed Data Security Compartments
13. Altmetric Badge
    Chapter 12 A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems
14. Altmetric Badge
    Chapter 13 Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
15. Altmetric Badge
    Chapter 14 A Formal Model for the Deferred Update Replication Technique
16. Altmetric Badge
    Chapter 15 Studying Operational Models of Relaxed Concurrency
17. Altmetric Badge
    Chapter 16 Certificates and Separation Logic
18. Altmetric Badge
    Chapter 17 On-the-fly Fast Mean-Field Model-Checking
19. Altmetric Badge
    Chapter 18 Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations