Overview
- A new technique based on types for the consistency of dynamic reconfigurations
- Innovative technique based on encodings for the safety properties in complex distributed systems
- Powerful analysis of progress and deadlock freedom of communication in complex distributed systems
- Includes supplementary material: sn.pub/extras
Part of the book series: Atlantis Studies in Computing (ATLANTISCOMP, volume 7)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The main contributions of this book are twofold.
i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.
ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
Keywords
Table of contents (14 chapters)
-
Safe Dynamic Reconfiguration of Components
-
Safe Communication by Encoding
-
Advanced Features on Safety by Encoding
-
Progress of Communication
Authors and Affiliations
Bibliographic Information
Book Title: Type Systems for Distributed Programs: Components and Sessions
Authors: Ornela Dardha
Series Title: Atlantis Studies in Computing
DOI: https://doi.org/10.2991/978-94-6239-204-5
Publisher: Atlantis Press Paris
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Atlantis Press and the author(s) 2016
Hardcover ISBN: 978-94-6239-203-8Published: 09 August 2016
eBook ISBN: 978-94-6239-204-5Published: 27 July 2016
Series ISSN: 2212-8557
Series E-ISSN: 2212-8565
Edition Number: 1
Number of Pages: XXII, 192
Number of Illustrations: 65 b/w illustrations, 4 illustrations in colour