BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Documentos Académicos

Tipo de Documento
Dissertação de Mestrado

Título
Algorithms for infinite session types

Participantes na publicação
Sardinha, Inês Maria Caldeira (Author)
Poças, Diogo Miguel Ferreira (Adviser)
Dep. Informática
CMAF
LASIGE
Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informática
LASIGE

Data de Publicação
2022

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

Identificadores da Publicação

Identificadores do Documento
URL - https://repositorio.ul.pt/handle/10451/55529
TID - 203205200


Exportar referência

APA
Sardinha, Inês Maria Caldeira, (2022). Algorithms for infinite session types. https://repositorio.ul.pt/handle/10451/55529 Poças, Diogo Miguel Ferreira, Vasconcelos, Vasco Thudichum,

IEEE
Sardinha, Inês Maria Caldeira, "Algorithms for infinite session types", 2022.

BIBTEX
@MastersThesis{56652, author = {Sardinha, Inês Maria Caldeira}, title = {Algorithms for infinite session types}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2022}, OPTtype = {Documentos Académicos} }