Type systems for distributed programs: components and sessions

DOI10.2991/978-94-6239-204-5zbMath1432.68002OpenAlexW607442046MaRDI QIDQ518894

Ornela Dardha

Publication date: 30 March 2017

Published in: Atlantis Studies in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2991/978-94-6239-204-5

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed systems (68M14)

Related Items (4)

Subtyping Supports Safe Session Substitution ⋮ Session types revisited ⋮ Comparing type systems for deadlock freedom ⋮ Separating Sessions Smoothly

This page was built for publication: Type systems for distributed programs: components and sessions