1 paper
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…