BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Verification of MPI Programs Using Session Types

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

Date of Publication
2012

Where published
Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science

Publication Identifiers
ISSN - 0302-9743

Publisher
Springer Berlin Heidelberg

Edition
1

Number of pages
3
Starting page
291
Last page
293

Document Identifiers
DOI - https://doi.org/10.1007/978-3-642-33518-1_37
URL - http://dx.doi.org/10.1007/978-3-642-33518-1_37


Export

APA
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco T. Vasconcelos, Nobuko Yoshida, (2012). Verification of MPI Programs Using Session Types. Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science, 291-293

IEEE
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco T. Vasconcelos, Nobuko Yoshida, "Verification of MPI Programs Using Session Types" in Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science, 2012, pp. 291-293

BIBTEX
@incollection{51010, author = {Kohei Honda and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Verification of MPI Programs Using Session Types}, booktitle = {Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science}, year = 2012, pages = {291-293}, address = {}, publisher = {Springer Berlin Heidelberg} }