On the topology of concurrent systems

Ver registo simples
dc.contributor.authorFaustino, Catarina Justino
dc.contributor.authorKahl, Thomas
dc.contributor.authorLopes, Rodrigo
dc.date.accessioned2025-10-15T14:33:13Z
dc.date.issued2025
dc.description.abstractHigher-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.eng
dc.description.sponsorshipThis research was supported by FCT (Fundação para a Ciência e a Tecnologia, Portugal) through the first author’s PhD scholarship UI/BD/152071/2021 and projects UIDB/00013/2020 and UIDP/00013/2020.
dc.distributioninternational
dc.identifier.articlenumber5
dc.identifier.citationFaustino, 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-3
dc.identifier.doi10.1007/s41468-025-00201-3
dc.identifier.issn2367-1726
dc.identifier.urihttps://hdl.handle.net/1822/97567
dc.language.isoeng
dc.peerreviewedyes
dc.publisherSpringer
dc.relationTopology of higher-dimensional automata [UI/BD/152071/2021]
dc.relationCenter of Mathematics of the University of Minho [UIDB/00013/2020]
dc.relationCenter of Mathematics of the University of Minho [UIDP/00013/2020]
dc.relation.hasversionhttps://link.springer.com/article/10.1007/s41468-025-00201-3
dc.rightsopenAccess
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectHigher-dimensional automatonpor
dc.subjectPolyhedronpor
dc.subjectShared-variable systempor
dc.subject.fosCiências Naturais::Matemáticas
dc.titleOn the topology of concurrent systemspor
dc.typearticlepor
dspace.entity.typePublication
oaire.awardNumberUI/BD/152071/2021
oaire.awardNumberUIDB/00013/2020
oaire.awardNumberUIDP/00013/2020
oaire.awardTitleTopology of higher-dimensional automata [UI/BD/152071/2021]
oaire.awardTitleCenter of Mathematics of the University of Minho [UIDB/00013/2020]
oaire.awardTitleCenter of Mathematics of the University of Minho [UIDP/00013/2020]
oaire.awardURIhttps://hdl.handle.net/1822/97566
oaire.awardURIhttps://hdl.handle.net/1822/97170
oaire.awardURIhttps://hdl.handle.net/1822/97173
oaire.citation.volume9
oaire.citationIssue1por
oaire.citationVolume9por
oaire.funderIdentifierhttp://doi.org/10.13039/501100001871
oaire.funderIdentifierhttp://doi.org/10.13039/501100001871
oaire.funderIdentifierhttp://doi.org/10.13039/501100001871
oaire.funderNameFundação para a Ciência e a Tecnologia, I.P.
oaire.funderNameFundação para a Ciência e a Tecnologia, I.P.
oaire.funderNameFundação para a Ciência e a Tecnologia, I.P.
oaire.fundingStreamConcurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Base
oaire.fundingStreamConcurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Programático
oaire.versionhttp://purl.org/coar/version/c_b1a7d7d4d402bcce
relation.isProjectOfPublicationdc95028b-4009-4061-bf54-53407224636a
relation.isProjectOfPublicationd356bda5-c0fd-49c6-a7e3-7e84650a14be
relation.isProjectOfPublication60f179b0-39e5-4f5d-ab76-eb6b26f2822e
relation.isProjectOfPublication.latestForDiscoverydc95028b-4009-4061-bf54-53407224636a
sdum.journalJournal of Applied and Computational Topology

Ficheiros

Pacote original

A mostrar 1 - 1 de 1
Nome:
polyhda.pdf
Tamanho:
339.64 KB
Formato:
Adobe Portable Document Format
Descarregar

Coleções

CMAT - Artigos em revistas com arbitragem | Papers in peer review journals