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
Table of contents (14 chapters)
-
Safe Dynamic Reconfiguration of Components
-
Safe Communication by Encoding
-
Advanced Features on Safety by Encoding
-
Progress of Communication
Keywords
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.
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