Session Types for Link Failures (Technical Report)

Manuel Adameit, Kirstin Peters, Uwe Nestmann

We strive to use session type technology to prove behavioural properties of fault-tolerant distributed algorithms. Session types are designed to abstractly capture the structure of…