Verification of MPI Programs using Session Types. Honda, K., Marques, E., Martins, F., Ng, N., Vasconcelos, V., & Yoshida, N. In EuroMPI, of LNCS, vol. 7940, pages 291-293. Springer, 2012.
doi  bibtex   
@incollection{HondaMMNVY12,
	Author = {K. Honda and E. Marques and F. Martins and N. Ng and V. Vasconcelos and N. Yoshida},
	Booktitle = {EuroMPI},
	Doi = {10.1007/978-3-642-33518-1\_37},
	Pages = {291-293},
	Publisher = {Springer},
	Series = {LNCS, vol. 7940},
	Title = {{Verification of MPI Programs using Session Types}},
	Year = {2012},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-33518-1%5C_37}}

Downloads: 0