Labeled homology of higher-dimensional automata
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.
| Autor principal: | |
|---|---|
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2018
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/59753 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/59753 |
| Resumo: | 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. |
|---|