ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor

Contact

+44 (0)20 7594 8240n.yoshida Website

Location

556Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Lange:2017:10.1145/3093333.3009847,
author = {Lange, J and Ng, N and Toninho, B and Yoshida, N},
doi = {10.1145/3093333.3009847},
journal = {ACM SIGPLAN Notices},
pages = {748--761},
title = {Fencing off go: liveness and safety for channel-based programming},
url = {http://dx.doi.org/10.1145/3093333.3009847},
volume = {52},
year = {2017}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Lange,J
AU  - Ng,N
AU  - Toninho,B
AU  - Yoshida,N
DO  - 10.1145/3093333.3009847
EP  - 761
PY  - 2017///
SN  - 0362-1340
SP  - 748
TI  - Fencing off go: liveness and safety for channel-based programming
T2  - ACM SIGPLAN Notices
UR  - http://dx.doi.org/10.1145/3093333.3009847
VL  - 52
ER  -

Download