Skip to main content
SpringerLink
Log in
Book cover

Type Systems for Distributed Programs: Components and Sessions

  • Book
  • © 2016

Overview

Authors:
  1. Ornela Dardha

    1. School of Computing Science, University of Glasgow, Glasgow, United Kingdom

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 109.00
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Safe Dynamic Reconfiguration of Components

    1. Front Matter

      Pages 1-3
      Download chapter PDF

    2. Background on Components

      • Ornela Dardha
      Pages 5-17

    3. A Type System for Components

      • Ornela Dardha
      Pages 19-31

    4. Properties of the Type System

      • Ornela Dardha
      Pages 33-41

  3. Back Matter

    Pages 43-46
    Download chapter PDF

  4. Safe Communication by Encoding

    1. Front Matter

      Pages 47-50
      Download chapter PDF

    2. Background on \(\pi \)-Types

      • Ornela Dardha
      Pages 51-59

    3. Background on Session Types

      • Ornela Dardha
      Pages 61-71

    4. Session Types Revisited

      • Ornela Dardha
      Pages 73-96

  5. Advanced Features on Safety by Encoding

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Subtyping

      • Ornela Dardha
      Pages 99-103

    3. Polymorphism

      • Ornela Dardha
      Pages 105-122

    4. Higher-Order Communication

      • Ornela Dardha
      Pages 123-139

    5. Recursion

      • Ornela Dardha
      Pages 141-147

    6. From \(\pi \)-Types to Session Types

      • Ornela Dardha
      Pages 149-152

  6. Back Matter

    Pages 153-155
    Download chapter PDF

  7. Progress of Communication

    1. Front Matter

      Pages 157-159
      Download chapter PDF

    2. Background on \(\pi \)–Types for Lock Freedom

      • Ornela Dardha
      Pages 161-168

    3. Background on Session Types for Progress

      • Ornela Dardha
      Pages 169-172
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • School of Computing Science, University of Glasgow, Glasgow, United Kingdom

    Ornela Dardha

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

  • Topics: Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation