Publicação
Topological models of concurrency
| 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 |
| 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. |
|---|