BibTex format @inbook{Ng:2017,author = {Ng, CWN and Yoshida, N},booktitle = {Behavioural Types: from Theory to Tools},title = {Protocol-Driven MPI Program Generation},year = {2017}} Download
RIS format (EndNote, RefMan) TY - CHAPAU - Ng,CWNAU - Yoshida,NPY - 2017///TI - Protocol-Driven MPI Program GenerationT1 - Behavioural Types: from Theory to ToolsER - Download