Type Systems for Distributed Programs: Components and Sessions

Part I. Safe Dynamic Reconfiguration of Components

1. Background on Components
Ornela Dardha

2. A Type System for Components
Ornela Dardha

3. Properties of the Type System
Ornela Dardha

Part II. Safe Communication by Encoding

4. Background on pi


?


-Types
Ornela Dardha

5. Background on Session Types
Ornela Dardha

6. Session Types Revisited
Ornela Dardha

Part III. Advanced Features on Safety by Encoding

7. Subtyping
Ornela Dardha

8. Polymorphism
Ornela Dardha

9. Higher-Order Communication
Ornela Dardha

10. Recursion
Ornela Dardha

11. From pi


?


-Types to Session Types
Ornela Dardha

Part IV. Progress of Communication

12. Background on pi


?


–Types for Lock Freedom
Ornela Dardha

13. Background on Session Types for Progress
Ornela Dardha

14. Progress as Compositional Lock Freedom
Ornela Dardha

Avainsanat: Computer Science, Mathematical Logic and Formal Languages