Type Systems for Distributed Programs: Session Communication

Abstract

Distributed systems are everywhere around us and guaranteeing their correctness is of paramount importance. It is natural to expect that these systems interact and communicate among them to achieve a common task. In this work, we develop techniques based on types and type systems for the verification of correctness, consistency and safety properties related… (More)

6 Figures and Tables

Topics

  • Presentations referencing similar topics