Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
3. Altmetric Badge
   Chapter 2 Perspectives in Certificate Translation
4. Altmetric Badge
   Chapter 3 Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
5. Altmetric Badge
   Chapter 4 Toward a Game-Theoretic Model of Grid Systems
6. Altmetric Badge
   Chapter 5 Functions as Processes: Termination and the $\lambda\mu\widetilde{\mu}$ -Calculus
7. Altmetric Badge
   Chapter 6 Predicate Encryption for Secure Remote Storage
8. Altmetric Badge
   Chapter 7 Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols
9. Altmetric Badge
   Chapter 8 Expressiveness of Generic Process Shape Types
10. Altmetric Badge
    Chapter 9 A Java Inspired Semantics for Transactions in SOC
11. Altmetric Badge
    Chapter 10 Responsive Choice in Mobile Processes
12. Altmetric Badge
    Chapter 11 A Model of Evolvable Components
13. Altmetric Badge
    Chapter 12 The Impact of Altruism on the Efficiency of Atomic Congestion Games
14. Altmetric Badge
    Chapter 13 Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung
15. Altmetric Badge
    Chapter 14 An Algebra of Hierarchical Graphs
16. Altmetric Badge
    Chapter 15 Property-Preserving Refinement of Concurrent Systems
17. Altmetric Badge
    Chapter 16 Certificate Translation for the Verification of Concurrent Programs
18. Altmetric Badge
    Chapter 17 Certified Result Checking for Polyhedral Analysis of Bytecode Programs
19. Altmetric Badge
    Chapter 18 A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments
20. Altmetric Badge
    Chapter 19 A Framework for Rule-Based Dynamic Adaptation
21. Altmetric Badge
    Chapter 20 CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility
22. Altmetric Badge
    Chapter 21 Refactoring Long Running Transactions: A Case Study
23. Altmetric Badge
    Chapter 22 Approximate Model Checking of Stochastic COWS
24. Altmetric Badge
    Chapter 23 Probabilistic Aspects: Checking Security in an Imperfect World
25. Altmetric Badge
    Chapter 24 A Tool for Checking Probabilistic Properties of COWS Services