Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
Fencing off go: liveness and safety for channel-based programming
POPL, 2017.
@inproceedings{POPL-2017-LangeNTY,
author = "Julien Lange and Nicholas Ng and Bernardo Toninho and Nobuko Yoshida",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "748--761",
publisher = "{ACM}",
title = "{Fencing off go: liveness and safety for channel-based programming}",
year = 2017,
}