BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Algorithms for infinite session types

Participants in the publication
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

Date of Publication
2022

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - https://repositorio.ul.pt/handle/10451/55529
TID - 203205200


Export

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} }