BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Towards deductive verification of MPI programs against session types

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

Date of Publication
2013

Event
6th Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)

Publication Identifiers


Export

APA
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins, (2013). Towards deductive verification of MPI programs against session types. 6th Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), -

IEEE
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins, "Towards deductive verification of MPI programs against session types" in 6th Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), , 2013, pp. -, doi:

BIBTEX
@InProceedings{34006, author = {Eduardo R. B. Marques and Francisco Martins and Vasco T. Vasconcelos and Nicholas Ng and Nuno Martins}, title = {Towards deductive verification of MPI programs against session types}, booktitle = { 6th Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)}, year = 2013, pages = {-}, address = {}, publisher = {} }