Fencing off go: liveness and safety for channel-based programming

Authors

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida,