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 Revista

Tipo de Documento
Artigo Completo

Título
A Type Discipline for Message Passing Parallel Programs

Participantes na publicação
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

Data de Publicação
2022-12-21

Suporte
ACM Transactions on Programming Languages and Systems

Identificadores da Publicação
ISSN - 0164-0925

Editora
Association for Computing Machinery (ACM)

Volume
44
Fascículo
4

Número de Páginas
55
Página Inicial
1
Página Final
55

Identificadores do Documento
DOI - https://doi.org/10.1145/3552519
URL - http://dx.doi.org/10.1145/3552519


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 }