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: |
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
