Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/87018
Título: | On the homology language of HDA models of transition systems |
Autor(es): | Kahl, Thomas |
Palavras-chave: | Higher-dimensional automata Transition system Homology language |
Data: | 4-Mai-2023 |
Editora: | Springer |
Revista: | Journal of Applied and Computational Topology |
Citação: | 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 |
Resumo(s): | 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. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/87018 |
DOI: | 10.1007/s41468-023-00120-1 |
ISSN: | 2367-1726 |
e-ISSN: | 2367-1734 |
Versão da editora: | https://doi.org/10.1007/s41468-023-00120-1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
published_online.pdf | 289,53 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons