Algorithms for infinite session types

Detalhes bibliográficos
Autor(a) principal: Sardinha, Inês Maria Caldeira
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/55529
Resumo: Tese de Mestrado, Mestrado em Informática, 2022, Universidade de Lisboa, Faculdade de Ciências
id RCAP_64ab88925d3a9476169d2461d2cb5973
oai_identifier_str oai:repositorio.ul.pt:10451/55529
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Algorithms for infinite session typesTipos de sessãoTipos infinitosAlgoritmosFormação de tiposEquivalência de tiposTeses de mestrado - 2022Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da InformaçãoTese de Mestrado, Mestrado em Informática, 2022, Universidade de Lisboa, Faculdade de CiênciasIn concurrent interactions there are a large number of messages exchanged between two or more processes that often lead to coding errors. To simplify these interactions and reduce the coding errors, session types were created. Session types are an approach for structuring interaction protocols between multiple parties. When a channel is shared between two processes it is necessary to ensure that if one is sending a message, the other is prepared to receive it. In the same way, if a process offers some options, the complementary is prepared to select one of the options. There are finite types of messages, that perform an operation and stop, where you can perform send/receive or offer/select a message and terminate the interaction. However, not all of the interactions are possible just with finite types. This work presents an extension of session types into infinity, since it is necessary to study different classes of types with greater expressive power than finite types. Recursive and 1-counter types are the main focus of this thesis. We start by designing grammars so we can test equation systems based on those types. Defining rules in which the systems of these types can be written is the purpose of the grammars. These rules include the possibility of sending or receiving messages and selecting or offering a set of options. The grammars are implemented based on SePi, a concurrent programming language based on pi-calculus. All the systems that present a finite and infinite behavior should be tested. Constructing algorithms for type formation and type equivalence of these systems as well as testing those algorithms is the main goal of this project, so that we can be sure that infinite types, specifically, with different degrees of expressivity are correctly defined and able to be compared.Poças, Diogo Miguel FerreiraVasconcelos, Vasco ThudichumRepositório da Universidade de LisboaSardinha, Inês Maria Caldeira2022-12-28T14:03:10Z202220222022-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10451/55529enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T17:02:34Zoai:repositorio.ul.pt:10451/55529Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T22:06:11.442478Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Algorithms for infinite session types
title Algorithms for infinite session types
spellingShingle Algorithms for infinite session types
Sardinha, Inês Maria Caldeira
Tipos de sessão
Tipos infinitos
Algoritmos
Formação de tipos
Equivalência de tipos
Teses de mestrado - 2022
Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da Informação
title_short Algorithms for infinite session types
title_full Algorithms for infinite session types
title_fullStr Algorithms for infinite session types
title_full_unstemmed Algorithms for infinite session types
title_sort Algorithms for infinite session types
author Sardinha, Inês Maria Caldeira
author_facet Sardinha, Inês Maria Caldeira
author_role author
dc.contributor.none.fl_str_mv Poças, Diogo Miguel Ferreira
Vasconcelos, Vasco Thudichum
Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Sardinha, Inês Maria Caldeira
dc.subject.por.fl_str_mv Tipos de sessão
Tipos infinitos
Algoritmos
Formação de tipos
Equivalência de tipos
Teses de mestrado - 2022
Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da Informação
topic Tipos de sessão
Tipos infinitos
Algoritmos
Formação de tipos
Equivalência de tipos
Teses de mestrado - 2022
Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da Informação
description Tese de Mestrado, Mestrado em Informática, 2022, Universidade de Lisboa, Faculdade de Ciências
publishDate 2022
dc.date.none.fl_str_mv 2022-12-28T14:03:10Z
2022
2022
2022-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/55529
url http://hdl.handle.net/10451/55529
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134614734766080

Registros relacionados