Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/59753

TitleLabeled homology of higher-dimensional automata
Author(s)Kahl, Thomas
KeywordsHigher-dimensional automata
Labeled homology
Cubical homology
Cubical dimap
Issue dateDec-2018
PublisherSpringer
JournalJournal of Applied and Computational Topology
Abstract(s)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.
TypeArticle
URIhttp://hdl.handle.net/1822/59753
DOI10.1007/s41468-019-00023-0
ISSN2367-1726
e-ISSN2367-1734
Peer-Reviewedyes
AccessOpen access
Appears in Collections:CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Files in This Item:
File Description SizeFormat 
labels.pdf402,72 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID