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

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Browse the full POPL paper archive.