Coordination Models and Languages

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Multilevel Transitive and Intransitive Non-interference, Causally
3. Altmetric Badge
   Chapter 2 A Game Interpretation of Retractable Contracts
4. Altmetric Badge
   Chapter 3 Where Do Your IoT Ingredients Come From?
5. Altmetric Badge
   Chapter 4 Tuple Spaces Implementations and Their Efficiency
6. Altmetric Badge
   Chapter 5 On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination
7. Altmetric Badge
   Chapter 6 Scheduling Games for Concurrent Systems
8. Altmetric Badge
   Chapter 7 ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations
9. Altmetric Badge
   Chapter 8 Modelling Ambulance Deployment with CarmaCARMA
10. Altmetric Badge
    Chapter 9 On Synchronous and Asynchronous Compatibility of Communicating Components
11. Altmetric Badge
    Chapter 10 A Semantic Theory of the Internet of Things
12. Altmetric Badge
    Chapter 11 A Formal Analysis of the Global Sequence Protocol
13. Altmetric Badge
    Chapter 12 Improving Gossip Dynamics Through Overlapping Replicates
14. Altmetric Badge
    Chapter 13 From Modelling to Systematic Deployment of Distributed Active Objects
15. Altmetric Badge
    Chapter 14 An Interference-Free Programming Model for Network Objects
16. Altmetric Badge
    Chapter 15 On Sessions and Infinite Data
17. Altmetric Badge
    Chapter 16 On Dynamical Probabilities, or: How to Learn to Shoot Straight