Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/59753
Título: | Labeled homology of higher-dimensional automata |
Autor(es): | Kahl, Thomas |
Palavras-chave: | Higher-dimensional automata Labeled homology Cubical homology Cubical dimap |
Data: | Dez-2018 |
Editora: | Springer |
Revista: | Journal of Applied and Computational Topology |
Resumo(s): | We construct labeling homomorphisms on the cubical homology of higher-dimensional automata and show that they are natural with respect to cubical dimaps and compatible with the tensor product of HDAs. We also indicate two possible applications of labeled homology in concurrency theory. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/59753 |
DOI: | 10.1007/s41468-019-00023-0 |
ISSN: | 2367-1726 |
e-ISSN: | 2367-1734 |
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 | |
---|---|---|---|---|
labels.pdf | 402,72 kB | Adobe PDF | Ver/Abrir |