Type Systems for Distributed Programs: Session Communication


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


  • Presentations referencing similar topics