Type Systems for Distributed Programs: Components and Sessions

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Logic, Computers, General Computing
Cover of the book Type Systems for Distributed Programs: Components and Sessions by Ornela Dardha, Atlantis Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Ornela Dardha ISBN: 9789462392045
Publisher: Atlantis Press Publication: July 27, 2016
Imprint: Atlantis Press Language: English
Author: Ornela Dardha
ISBN: 9789462392045
Publisher: Atlantis Press
Publication: July 27, 2016
Imprint: Atlantis Press
Language: English

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.

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

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.

More books from Atlantis Press

Cover of the book Ordered Random Variables: Theory and Applications by Ornela Dardha
Cover of the book Mathematical Models with Singularities by Ornela Dardha
Cover of the book Economic Dynamics of All Members of the United Nations by Ornela Dardha
Cover of the book The Atomic World Spooky? It Ain't Necessarily So! by Ornela Dardha
Cover of the book Mathematical Models for Poroelastic Flows by Ornela Dardha
Cover of the book Logics in Computer Science by Ornela Dardha
Cover of the book The Human Face of Ambient Intelligence by Ornela Dardha
Cover of the book A Lifetime for Revenge by Ornela Dardha
Cover of the book Lectures on the Mathematics of Quantum Mechanics I by Ornela Dardha
Cover of the book Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015 by Ornela Dardha
Cover of the book Introduction to Text Visualization by Ornela Dardha
Cover of the book Computational Finance by Ornela Dardha
Cover of the book Normally Hyperbolic Invariant Manifolds by Ornela Dardha
Cover of the book Scholarpedia of Touch by Ornela Dardha
Cover of the book Compressed Data Structures for Strings by Ornela Dardha
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy