Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/41646
Título: | Topological abstraction of higher-dimensional automata |
Autor(es): | Kahl, Thomas |
Palavras-chave: | Higher-dimensional automata Topological abstraction Trace category Homology graph Cube collapse |
Data: | 2016 |
Editora: | Elsevier |
Revista: | Theoretical Computer Science |
Resumo(s): | Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/41646 |
DOI: | 10.1016/j.tcs.2016.04.018 |
ISSN: | 0304-3975 |
Versão da editora: | http://www.sciencedirect.com/science/article/pii/S0304397516300573 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
topabs.pdf Acesso restrito! | 384,73 kB | Adobe PDF | Ver/Abrir |