Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/87562| Título: | On symmetric higher-dimensional automata and bisimilarity |
| Autor(es): | Kahl, Thomas |
| Palavras-chave: | Higher-dimensional automata Symmetric precubical set Bisimulation |
| Data: | 31-Out-2022 |
| Editora: | Elsevier 1 |
| Revista: | Theoretical Computer Science |
| Resumo(s): | It is shown that there exists a hereditary history-preserving bisimulation between a higher-dimensional automaton (HDA) and the symmetric HDA freely generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/87562 |
| DOI: | 10.1016/j.tcs.2022.07.004 |
| ISSN: | 0304-3975 |
| Versão da editora: | https://www.sciencedirect.com/science/article/pii/S0304397522004261 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| published.pdf | 348,29 kB | Adobe PDF | Ver/Abrir |
