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

Julien Lange et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics