Nested Session Types | Detalhes Referência | BIBLIOS

Detalhes Referência

Tipo
Artigos em Conferência

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 Submissão/Pedido
2020-10-20

Data de Aceitação
2020-12-23

Data de Publicação
2021-03-30

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

Evento
Programming Languages and Systems,Lecture Notes in Computer Science

Identificadores da Publicação
ISSN - 9783030720186

Editora
Springer International Publishing

Identificadores do Documento
URL - https://doi.org/10.1007/978-3-030-72019-3_7
URL - https://doi.org/10.1007/978-3-030-72019-3_7

Identificadores de Qualidade
CORE A (2020) -

Exportar referência

APA
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, (2021). Nested Session Types. Programming Languages and Systems,Lecture Notes in Computer Science , -

IEEE
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, "Nested Session Types" in Programming Languages and Systems,Lecture Notes in Computer Science , , 2021, pp. -, doi:

BIBTEX
@InProceedings{49697, author = {Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning}, title = {Nested Session Types}, booktitle = {Programming Languages and Systems,Lecture Notes in Computer Science }, year = 2021, pages = {-}, address = {}, publisher = {Springer International Publishing} }