Exportar referência
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
}