@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}}

{"_id":"Mo2PzQ58piiYMMF9X","bibbaseid":"honda-marques-martins-ng-vasconcelos-yoshida-verificationofmpiprogramsusingsessiontypes-2012","authorIDs":[],"author_short":["Honda, K.","Marques, E.","Martins, F.","Ng, N.","Vasconcelos, V.","Yoshida, N."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["K."],"propositions":[],"lastnames":["Honda"],"suffixes":[]},{"firstnames":["E."],"propositions":[],"lastnames":["Marques"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Martins"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Ng"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Vasconcelos"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Yoshida"],"suffixes":[]}],"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","bibtex":"@incollection{HondaMMNVY12,\n\tAuthor = {K. Honda and E. Marques and F. Martins and N. Ng and V. Vasconcelos and N. Yoshida},\n\tBooktitle = {EuroMPI},\n\tDoi = {10.1007/978-3-642-33518-1\\_37},\n\tPages = {291-293},\n\tPublisher = {Springer},\n\tSeries = {LNCS, vol. 7940},\n\tTitle = {{Verification of MPI Programs using Session Types}},\n\tYear = {2012},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-33518-1%5C_37}}\n\n","author_short":["Honda, K.","Marques, E.","Martins, F.","Ng, N.","Vasconcelos, V.","Yoshida, N."],"key":"HondaMMNVY12","id":"HondaMMNVY12","bibbaseid":"honda-marques-martins-ng-vasconcelos-yoshida-verificationofmpiprogramsusingsessiontypes-2012","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"incollection","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.648Z","downloads":0,"keywords":[],"search_terms":["verification","mpi","programs","using","session","types","honda","marques","martins","ng","vasconcelos","yoshida"],"title":"Verification of MPI Programs using Session Types","year":2012,"dataSources":["7Z8XEkSJX2s636QcA"]}