Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Type Systems for Distributed Programs: Components and Sessions
Langbeschreibung
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.
Inhaltsverzeichnis
1.Background on Components.- 2. A Type System for Components.- 3. Properties of the Type System.- 4.Background on p- Types.- 5. Background on Session Types.- 6. Session Types Revisited.- 7. Subtyping.- 8. Polymorphism.- 9.Higher-Order Communication.- 10.Recursion.- 11.From p- Types to Session Types.- 12. Background on p- types for Lock Freedom.- 13 Background on Session Types for Progress.- 14 Progress as Compositional Lock Freedom.
ISBN-13:
9789462392045
Veröffentl:
2016
Seiten:
192
Autor:
Ornela Dardha
Serie:
7, Atlantis Studies in Computing
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
96,29 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.