BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Conferência

Tipo de Documento
Artigo Completo

Título
Towards deductive verification of MPI programs against session types

Participantes na publicação
Eduardo R. B. Marques (Author)
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Vasco T. Vasconcelos (Author)
Nicholas Ng (Author)
Nuno Martins (Author)

Data de Publicação
2013

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

Identificadores da Publicação


Exportar referência

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 = {} }