Publicação
On the topology of concurrent systems
| Resumo: | Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable system such that the higher-dimensional automaton modeling the state space of the system has the homotopy type of the polyhedron. |
|---|---|
| Autores principais: | Faustino, Catarina Justino |
| Outros Autores: | Kahl, Thomas; Lopes, Rodrigo |
| Assunto: | Higher-dimensional automaton Polyhedron Shared-variable system Ciências Naturais::Matemáticas |
| Ano: | 2025 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1877774374461767680 |
|---|---|
| author | Faustino, Catarina Justino |
| author2 | Kahl, Thomas Lopes, Rodrigo |
| author2_role | author author |
| author_facet | Faustino, Catarina Justino Kahl, Thomas Lopes, Rodrigo |
| author_role | author |
| contributor_name_str_mv | RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Faustino, Catarina Justino\"},{\"Person.name\":\"Kahl, Thomas\"},{\"Person.name\":\"Lopes, Rodrigo\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Faustino, Catarina Justino Kahl, Thomas Lopes, Rodrigo |
| datacite.date.Accepted.fl_str_mv | 2025-01-01T00:00:00Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Higher-dimensional automaton Polyhedron Shared-variable system Ciências Naturais::Matemáticas |
| datacite.titles.title.fl_str_mv | On the topology of concurrent systems |
| dc.contributor.none.fl_str_mv | RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Faustino, Catarina Justino Kahl, Thomas Lopes, Rodrigo |
| dc.date.Accepted.fl_str_mv | 2025-01-01T00:00:00Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/97567 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | Springer |
| dc.rights.cclincense.fl_str_mv | http://creativecommons.org/licenses/by/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 | Higher-dimensional automaton Polyhedron Shared-variable system Ciências Naturais::Matemáticas |
| dc.title.fl_str_mv | On the topology of concurrent systems |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_6501 |
| description | Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable system such that the higher-dimensional automaton modeling the state space of the system has the homotopy type of the polyhedron. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | article |
| funder_facet_str_mv | FCT{{{_:::_}}}Fundação para a Ciência e a Tecnologia, I.P. FCT{{{_:::_}}}Fundação para a Ciência e a Tecnologia, I.P. FCT{{{_:::_}}}Fundação para a Ciência e a Tecnologia, I.P. |
| funding.funder.alternateName_str_mv | FCT FCT FCT |
| funding.funder.identifier_str_mv | http://doi.org/10.13039/501100001871 http://doi.org/10.13039/501100001871 http://doi.org/10.13039/501100001871 |
| funding.funder.name_str_mv | Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia, I.P. |
| funding.identifier_str_mv | UI/BD/152071/2021 UIDB/00013/2020 UIDP/00013/2020 |
| funding.name_str_mv | Concurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Base Concurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Programático |
| funding_str_mv | UI/BD/152071/2021 https://hdl.handle.net/1822/97566 UIDB/00013/2020 https://hdl.handle.net/1822/97170 UIDP/00013/2020 https://hdl.handle.net/1822/97173 |
| id | rum_81e7db4fd8b7faa0d35429968abd8dc0 |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/97567 |
| inst_facet_str | urn:organizationAcronym:repositorium{{{_:::_}}}Universidade do Minho |
| 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/97567 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Faustino, Catarina Justino Kahl, Thomas Lopes, Rodrigo |
| publishDate | 2025 |
| publisher.none.fl_str_mv | Springer |
| repo_facet_str | urn:repositoryAcronym:rum{{{_:::_}}}RepositóriUM - Universidade do Minho |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engSpringerengHigher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable system such that the higher-dimensional automaton modeling the state space of the system has the homotopy type of the polyhedron.application/pdfporOn the topology of concurrent systemsFaustino, Catarina JustinoKahl, ThomasLopes, RodrigoHostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptCITATIONFaustino, C., Kahl, T. & Lopes, R. On the topology of concurrent systems. J Appl. and Comput. Topology 9, 5 (2025). https://doi.org/10.1007/s41468-025-00201-3ARTICLENUMBER5ISSNIsPartOf2367-1726DOIIsPartOf10.1007/s41468-025-00201-3URLHasVersionhttps://link.springer.com/article/10.1007/s41468-025-00201-320252025-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/97567http://purl.org/coar/access_right/c_abf2open accessHigher-dimensional automatonPolyhedronShared-variable systemhttp://www.oecd.org/science/inno/38235147.pdfFields of Science and Technology (FOS)Ciências Naturais::Matemáticas347793 bytesFundação para a Ciência e a Tecnologia, I.P.Topology of higher-dimensional automata [UI/BD/152071/2021]https://hdl.handle.net/1822/97566UI/BD/152071/2021Crossref Funder IDhttp://doi.org/10.13039/501100001871Fundação para a Ciência e a Tecnologia, I.P.Center of Mathematics of the University of Minho [UIDB/00013/2020]Concurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Basehttps://hdl.handle.net/1822/97170UIDB/00013/2020Crossref Funder IDhttp://doi.org/10.13039/501100001871Fundação para a Ciência e a Tecnologia, I.P.Center of Mathematics of the University of Minho [UIDP/00013/2020]Concurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Programáticohttps://hdl.handle.net/1822/97173UIDP/00013/2020Crossref Funder IDhttp://doi.org/10.13039/501100001871literaturehttp://purl.org/coar/resource_type/c_6501journal article2025http://creativecommons.org/licenses/by/4.0/openAccesshttp://purl.org/coar/access_right/c_abf2application/pdfhttps://repositorium.uminho.pt/bitstreams/8ce2e846-e62a-4a96-bb75-f9ce2f08e377/download9 |
| spellingShingle | On the topology of concurrent systems Faustino, Catarina Justino Higher-dimensional automaton Polyhedron Shared-variable system Ciências Naturais::Matemáticas |
| status | SINGLETON |
| subject.fl_str_mv | Higher-dimensional automaton Polyhedron Shared-variable system |
| subject.other.fl_str_mv | Ciências Naturais::Matemáticas |
| title | On the topology of concurrent systems |
| title_full | On the topology of concurrent systems |
| title_fullStr | On the topology of concurrent systems |
| title_full_unstemmed | On the topology of concurrent systems |
| title_short | On the topology of concurrent systems |
| title_sort | On the topology of concurrent systems |
| topic | Higher-dimensional automaton Polyhedron Shared-variable system Ciências Naturais::Matemáticas |
| topic_facet | Higher-dimensional automaton Polyhedron Shared-variable system Ciências Naturais::Matemáticas |
| url | https://hdl.handle.net/1822/97567 |
| visible | 1 |