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 |
| _version_ | 1866877929709895680 |
|---|---|
| author | Lopes, Rodrigo Marques |
| author_facet | Lopes, Rodrigo Marques |
| author_role | author |
| contributor_name_str_mv | Kahl, Thomas Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Lopes, Rodrigo Marques\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | Kahl, Thomas Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Lopes, Rodrigo Marques |
| datacite.date.Accepted.fl_str_mv | 2024-03-22T00:00:00Z |
| datacite.date.available.fl_str_mv | 2024-07-09T12:36:14Z |
| datacite.date.embargoed.fl_str_mv | 2024-07-09T12:36:14Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.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 |
| datacite.titles.title.fl_str_mv | Topological models of concurrency |
| dc.contributor.none.fl_str_mv | Kahl, Thomas Universidade do Minho |
| dc.creator.none.fl_str_mv | Lopes, Rodrigo Marques |
| dc.date.Accepted.fl_str_mv | 2024-03-22T00:00:00Z |
| dc.date.available.fl_str_mv | 2024-07-09T12:36:14Z |
| dc.date.embargoed.fl_str_mv | 2024-07-09T12:36:14Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/92361 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.cclincense.fl_str_mv | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.rights.rights.copyright.fl_str_mv | openAccess |
| dc.subject.none.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 |
| dc.title.fl_str_mv | Topological models of concurrency |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_bdcc |
| description | 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. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| fulltext.url.fl_str_mv | https://prod-dspace.uminho.pt/bitstreams/7b945aa2-d25e-4c18-abc3-867c76447028/download |
| id | rum_cff2a4452fcc661c9b00aeb8eafa8da5 |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/92361 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/92361 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Lopes, Rodrigo Marques |
| publishDate | 2024 |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engporConcurrency 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.application/pdfporTopological models of concurrencyLopes, Rodrigo MarquesKahl, ThomasHostingInstitutionOrganizationalUniversidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptURNurn:tid:2036102702024-07-09T12:36:14Z2024-03-222024-012024-03-22T00:00:00ZHandlehttps://hdl.handle.net/1822/92361http://purl.org/coar/access_right/c_abf2open accessConcurrencyDirected algebraic topologyPartially ordered spaceD-spacePrecubical setPV-programConcorrênciaTopologia algébrica dirigidaEspaço parcialmente ordenadoD-espaçoConjunto pré-cúbicoPrograma P2422032 bytesliteraturehttp://purl.org/coar/resource_type/c_bdccmaster thesis2024-03-22http://creativecommons.org/licenses/by-nc-nd/4.0/openAccesshttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://prod-dspace.uminho.pt/bitstreams/7b945aa2-d25e-4c18-abc3-867c76447028/download |
| 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 |
| status | SINGLETON |
| subject.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 |
| title | Topological models of concurrency |
| title_full | Topological models of concurrency |
| title_fullStr | Topological models of concurrency |
| title_full_unstemmed | Topological models of concurrency |
| title_short | Topological models of concurrency |
| title_sort | Topological models of concurrency |
| 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 |
| topic_facet | 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 |
| url | https://hdl.handle.net/1822/92361 |
| visible | 1 |