On the homology language of HDA models of transition systems

Detalhes bibliográficos
Autor(a) principal: Kahl, Thomas
Data de Publicação: 2023
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/87018
Resumo: Given a transition system with an independence relation on the alphabet of labels, one can associate with it a usually very large symmetric higher-dimensional automaton. The purpose of this paper is to show that by choosing an acyclic relation whose symmetric closure is the given independence relation, it is possible to construct a much smaller nonsymmetric HDA with the same homology language.
id RCAP_17d798a7846cd2be9bc8d42d39d71195
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/87018
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling On the homology language of HDA models of transition systemsHigher-dimensional automataTransition systemHomology languageCiências Naturais::MatemáticasGiven a transition system with an independence relation on the alphabet of labels, one can associate with it a usually very large symmetric higher-dimensional automaton. The purpose of this paper is to show that by choosing an acyclic relation whose symmetric closure is the given independence relation, it is possible to construct a much smaller nonsymmetric HDA with the same homology language.FCT -Fundação para a Ciência e a Tecnologia(UIDB/00013/2020)SpringerUniversidade do MinhoKahl, Thomas2023-05-042023-05-04T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/1822/87018engKahl, T. (2023, May 4). On the homology language of HDA models of transition systems. Journal of Applied and Computational Topology. Springer Science and Business Media LLC. http://doi.org/10.1007/s41468-023-00120-12367-17262367-173410.1007/s41468-023-00120-1https://doi.org/10.1007/s41468-023-00120-1info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-10-21T01:27:59Zoai:repositorium.sdum.uminho.pt:1822/87018Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T20:39:08.099326Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv On the homology language of HDA models of transition systems
title On the homology language of HDA models of transition systems
spellingShingle On the homology language of HDA models of transition systems
Kahl, Thomas
Higher-dimensional automata
Transition system
Homology language
Ciências Naturais::Matemáticas
title_short On the homology language of HDA models of transition systems
title_full On the homology language of HDA models of transition systems
title_fullStr On the homology language of HDA models of transition systems
title_full_unstemmed On the homology language of HDA models of transition systems
title_sort On the homology language of HDA models of transition systems
author Kahl, Thomas
author_facet Kahl, Thomas
author_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Kahl, Thomas
dc.subject.por.fl_str_mv Higher-dimensional automata
Transition system
Homology language
Ciências Naturais::Matemáticas
topic Higher-dimensional automata
Transition system
Homology language
Ciências Naturais::Matemáticas
description Given a transition system with an independence relation on the alphabet of labels, one can associate with it a usually very large symmetric higher-dimensional automaton. The purpose of this paper is to show that by choosing an acyclic relation whose symmetric closure is the given independence relation, it is possible to construct a much smaller nonsymmetric HDA with the same homology language.
publishDate 2023
dc.date.none.fl_str_mv 2023-05-04
2023-05-04T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/87018
url https://hdl.handle.net/1822/87018
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Kahl, T. (2023, May 4). On the homology language of HDA models of transition systems. Journal of Applied and Computational Topology. Springer Science and Business Media LLC. http://doi.org/10.1007/s41468-023-00120-1
2367-1726
2367-1734
10.1007/s41468-023-00120-1
https://doi.org/10.1007/s41468-023-00120-1
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133651555844096

Registros relacionados