Session Types for Link Failures (Technical Report). - Manuel Adameit; Kirstin Peters; Uwe Nestmann (CoRR, 2016)

Session Types for Link Failures. - Manuel Adameit; Kirstin Peters; Uwe Nestmann (FORTE, 2017)