Publicação
On symmetric higher-dimensional automata and bisimilarity
| Resumo: | 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. |
|---|---|
| Autores principais: | Kahl, Thomas |
| Assunto: | Higher-dimensional automata Symmetric precubical set Bisimulation |
| Ano: | 2022 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | 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. |
|---|