Login

Dardha, Ornela

Type Systems for Distributed Programs: Components and Sessions

Dardha, Ornela - Type Systems for Distributed Programs: Components and Sessions, ebook

130,70€

Ebook, PDF with Adobe DRM
ISBN: 9789462392045
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: Computer Science, Mathematical Logic and Formal Languages

Author(s)
Publisher
Springer
Publication year
2016
Language
en
Edition
1
Series
Atlantis Studies in Computing
Page amount
22 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9789462392045
Printed ISBN
978-94-6239-203-8

Similar titles