Nobuko Yoshida


AuthID: R-00M-0C5

Publications Requiring Validation

11
TITLE: Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) PDF
AUTHORS: Julien Lange; Nicholas Ng; Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1610.08843
INDEXED IN: Scopus DBLP arXiv CrossRef: 25
Page 2 of 2. Total results: 11.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service