BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
A Type Discipline for Message Passing Parallel Programs

Participants in the publication
Vasco T. Vasconcelos (Author)
Dep. Informática
LASIGE
Francisco Martins (Author)
UNIVERSIDADE DOS AÇORES
LASIGE
Hugo-Andrés López (Author)
Nobuko Yoshida (Author)
IMPERIAL COLLEGE LONDON

Date of Publication
2022-12-21

Where published
ACM Transactions on Programming Languages and Systems

Publication Identifiers
ISSN - 0164-0925

Publisher
Association for Computing Machinery (ACM)

Volume
44
Number
4

Number of pages
55
Starting page
1
Last page
55

Document Identifiers
DOI - https://doi.org/10.1145/3552519
URL - http://dx.doi.org/10.1145/3552519


Export

APA
Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida, (2022). A Type Discipline for Message Passing Parallel Programs. ACM Transactions on Programming Languages and Systems, 44, 1-55. ISSN 0164-0925. eISSN . http://dx.doi.org/10.1145/3552519

IEEE
Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida, "A Type Discipline for Message Passing Parallel Programs" in ACM Transactions on Programming Languages and Systems, vol. 44, pp. 1-55, 2022. 10.1145/3552519

BIBTEX
@article{56843, author = {Vasco T. Vasconcelos and Francisco Martins and Hugo-Andrés López and Nobuko Yoshida}, title = {A Type Discipline for Message Passing Parallel Programs}, journal = {ACM Transactions on Programming Languages and Systems}, year = 2022, pages = {1-55}, volume = 44 }