TY  - RPRT
TI  - Session Types for Link Failures (Technical Report)
AU  - Manuel Adameit
AU  - Kirstin Peters
AU  - Uwe Nestmann
PY  - 2017
UR  - https://arxiv.org/abs/1607.07286
ID  - 1607.07286
ER  -