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 Computational Methods in Power System Analysis by Ornela Dardha
Cover of the book The Geometrical Beauty of Plants by Ornela Dardha
Cover of the book Normal and Student´s t Distributions and Their Applications by Ornela Dardha
Cover of the book Scholarpedia of Touch by Ornela Dardha
Cover of the book The Shaping of Ambient Intelligence and the Internet of Things by Ornela Dardha
Cover of the book Introduction to Global Variational Geometry by Ornela Dardha
Cover of the book Index-aware Model Order Reduction Methods by Ornela Dardha
Cover of the book Mathematical Models for Poroelastic Flows by Ornela Dardha
Cover of the book Navier-Stokes Flow Around a Rotating Obstacle by Ornela Dardha
Cover of the book Stability of Neutral Functional Differential Equations by Ornela Dardha
Cover of the book Principles of Mathematical Economics II by Ornela Dardha
Cover of the book Superphenix by Ornela Dardha
Cover of the book The Glaciers of Iceland by Ornela Dardha
Cover of the book Normally Hyperbolic Invariant Manifolds by Ornela Dardha
Cover of the book Records via Probability Theory 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