TY  - RPRT
TI  - Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
AU  - Julien Lange
AU  - Nicholas Ng
AU  - Bernardo Toninho
AU  - Nobuko Yoshida
PY  - 2017
UR  - https://arxiv.org/abs/1610.08843
ID  - 1610.08843
ER  -