BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Poster without full or short paper

Title
Verification of MPI Programs Using Session Types

Participants in the publication
Kohei Honda (Author)
Eduardo R. B. Marques (Author)
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Nicholas Ng (Author)
Vasco Thudichum Vasconcelos (Author)
Nobuko Yoshida (Author)

Date of Publication
2012

Event
EuroMPI 2012

Publication Identifiers

Address
Viena, Austria


Export

APA
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida, (2012). Verification of MPI Programs Using Session Types. EuroMPI 2012, -

IEEE
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida, "Verification of MPI Programs Using Session Types" in EuroMPI 2012, Viena, Austria, 2012, pp. -, doi:

BIBTEX
@InProceedings{33827, author = {Kohei Honda and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Verification of MPI Programs Using Session Types}, booktitle = {EuroMPI 2012}, year = 2012, pages = {-}, address = {Viena, Austria}, publisher = {} }