Topological models of concurrency

Detalhes bibliográficos
Autor(a) principal: Lopes, Rodrigo Marques
Data de Publicação: 2024
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: https://hdl.handle.net/1822/92361
Resumo: Dissertação de mestrado em Mathematics and Computation
id RCAP_e1704ab0342cc595ac7fc1605c4d96e0
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/92361
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Topological models of concurrencyConcurrencyDirected algebraic topologyPartially ordered spaceD-spacePrecubical setPV-programConcorrênciaTopologia algébrica dirigidaEspaço parcialmente ordenadoD-espaçoConjunto pré-cúbicoPrograma PCiências Naturais::MatemáticasDissertação de mestrado em Mathematics and ComputationConcurrency theory is the domain of theoretical computer science that deals with systems of simultane ously executing processes. Concurrent systems can be modeled mathematically in many different ways. It turned out relatively recently that directed algebraic topology can be used as a framework for concurrency theory. This dissertation studies the principal topological models of concurrency, namely partially ordered spaces, d-spaces and precubical sets. These models are used to provide semantics for a class of concur rent programs, called simple concurrent PV-programs. Additionally, we propose and implement several algorithms that calculate the mentioned semantics and address doomed and unreachable states/regions.A teoria da concorrência é o domínio da ciência da computação teórica que estuda sistemas de processos em execução simultânea. Os sistemas concorrentes podem ser modelados matematicamente de muitas formas diferentes. Descobriu-se, há relativamente pouco tempo, que a topologia algébrica dirigida pode ser usada como uma framework para a teoria da concorrência. Esta dissertação estuda os principais modelos topológicos de concorrência, nomeadamente espaços parcialmente ordenados, d-espaços e conjuntos pré-cúbicos. Estes modelos são usados para dar semântica a uma classe de programas concor rentes, chamados programas PV simples. Adicionalmente, propomos e implementamos vários algoritmos que calculam as semânticas mencionadas e abordam estados/regiões doomed e unreachable.This dissertation was financed by a research fellowship (23/ECUM/CMAT-UIDB/00013/2020 [Project BI2022-H]) attributed and funded by the Centre of Mathematics, School of Science, University of Minho and the Portuguese Foundation for Science and Technology.Kahl, ThomasUniversidade do MinhoLopes, Rodrigo Marques2024-03-222024-03-22T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/92361eng203610270info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-07-13T02:16:51Zoai:repositorium.sdum.uminho.pt:1822/92361Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T18:37:16.361749Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Topological models of concurrency
title Topological models of concurrency
spellingShingle Topological models of concurrency
Lopes, Rodrigo Marques
Concurrency
Directed algebraic topology
Partially ordered space
D-space
Precubical set
PV-program
Concorrência
Topologia algébrica dirigida
Espaço parcialmente ordenado
D-espaço
Conjunto pré-cúbico
Programa P
Ciências Naturais::Matemáticas
title_short Topological models of concurrency
title_full Topological models of concurrency
title_fullStr Topological models of concurrency
title_full_unstemmed Topological models of concurrency
title_sort Topological models of concurrency
author Lopes, Rodrigo Marques
author_facet Lopes, Rodrigo Marques
author_role author
dc.contributor.none.fl_str_mv Kahl, Thomas
Universidade do Minho
dc.contributor.author.fl_str_mv Lopes, Rodrigo Marques
dc.subject.por.fl_str_mv Concurrency
Directed algebraic topology
Partially ordered space
D-space
Precubical set
PV-program
Concorrência
Topologia algébrica dirigida
Espaço parcialmente ordenado
D-espaço
Conjunto pré-cúbico
Programa P
Ciências Naturais::Matemáticas
topic Concurrency
Directed algebraic topology
Partially ordered space
D-space
Precubical set
PV-program
Concorrência
Topologia algébrica dirigida
Espaço parcialmente ordenado
D-espaço
Conjunto pré-cúbico
Programa P
Ciências Naturais::Matemáticas
description Dissertação de mestrado em Mathematics and Computation
publishDate 2024
dc.date.none.fl_str_mv 2024-03-22
2024-03-22T00: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 https://hdl.handle.net/1822/92361
url https://hdl.handle.net/1822/92361
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 203610270
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órios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833597550646525952

Registros relacionados