Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/32076
Título: | Weak morphisms of higher dimensional automata |
Autor(es): | Kahl, Thomas |
Palavras-chave: | Higher dimensional automata Precubical set Geometric realisation Trace language Preorder relation Abstraction |
Data: | 2014 |
Editora: | Elsevier 1 |
Revista: | Theoretical Computer Science |
Resumo(s): | We introduce weak morphisms of higher dimensional automata and use them to define preorder relations for HDAs, among which are homeomorphic abstraction and trace equivalent abstraction. It is shown that homeomorphic abstraction is essentially always stronger than trace equivalent abstraction. We also define the trace language of an HDA and show that, for a large class of HDAs, it is invariant under trace equivalent abstraction. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/32076 |
DOI: | 10.1016/j.tcs.2014.02.028 |
ISSN: | 0304-3975 |
Versão da editora: | http://www.sciencedirect.com/science/article/pii/S0304397514001443 |
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 | |
---|---|---|---|---|
weakmor.pdf Acesso restrito! | Documento principal | 269 kB | Adobe PDF | Ver/Abrir |