Nested Session Types | Detalhes Referência | BIBLIOS

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Nested Session Types

Participantes na publicação
Ankush Das (Author)
Henry Deyoung (Author)
Andreia Mordido (Author)
Dep. Informática
LASIGE
Frank Pfenning (Author)

Data de Publicação
2022-07-15

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Suporte
ACM Transactions on Programming Languages and Systems

Identificadores da Publicação
ISSN - 0164-0925

Editora
Association for Computing Machinery (ACM)

Coleção
Special issue on ESOP 2021

Volume
44

Fascículo
3

Número de Páginas
45

Página Inicial
1

Página Final
45

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

Identificadores de Qualidade
SCIMAGO Q2 (2021) - 1.03 - Software

Exportar referência

APA
Ankush Das, Henry Deyoung, Andreia Mordido, Frank Pfenning, (2022). Nested Session Types. ACM Transactions on Programming Languages and Systems, 44, 1-45. ISSN 0164-0925. eISSN . http://dx.doi.org/10.1145/3539656

IEEE
Ankush Das, Henry Deyoung, Andreia Mordido, Frank Pfenning, "Nested Session Types" in ACM Transactions on Programming Languages and Systems, vol. 44, pp. 1-45, 2022. 10.1145/3539656

BIBTEX
@article{56858, author = {Ankush Das and Henry Deyoung and Andreia Mordido and Frank Pfenning}, title = {Nested Session Types}, journal = {ACM Transactions on Programming Languages and Systems}, year = 2022, pages = {1-45}, volume = 44 }