BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Other

Document subtype
Preprint

Title
Type-Based Verification of Message-Passing Parallel Programs

Participants in the publication
Vasco T.Vasconcelos (Author)
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Eduardo R. B. Marques (Author)
Hugo A. López (Author)
César Santos (Author)
Nobuko Yoshida (Author)

Date of Publication
2014

Publication Identifiers


Export

APA
Vasco T.Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Hugo A. López, César Santos, Nobuko Yoshida, (2014). Type-Based Verification of Message-Passing Parallel Programs

IEEE
Vasco T.Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Hugo A. López, César Santos, Nobuko Yoshida, "Type-Based Verification of Message-Passing Parallel Programs", 2014

BIBTEX
@misc{34343, author = {Vasco T.Vasconcelos and Francisco Martins and Eduardo R. B. Marques and Hugo A. López and César Santos and Nobuko Yoshida}, title = {Type-Based Verification of Message-Passing Parallel Programs}, year = 2014 }