Publicação

Topological models of concurrency

Ver documento

Detalhes bibliográficos
Resumo:Concurrency 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.
Autores principais:Lopes, Rodrigo Marques
Assunto: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
Ano:2024
País:Portugal
Tipo de documento:dissertação de mestrado
Tipo de acesso:acesso aberto
Instituição associada:Universidade do Minho
Idioma:inglês
Origem:RepositóriUM - Universidade do Minho

Registos relacionados

Registos relacionados