Labeled homology of higher-dimensional automata

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/59753

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Kahl, Thomas	por
dc.date.accessioned	2019-03-29T14:36:59Z	-
dc.date.available	2019-03-29T14:36:59Z	-
dc.date.issued	2018-12	-
dc.identifier.issn	2367-1726	por
dc.identifier.uri	https://hdl.handle.net/1822/59753	-
dc.description.abstract	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.	por
dc.language.iso	eng	por
dc.publisher	Springer	por
dc.relation	info:eu-repo/grantAgreement/FCT/5876/147370/PT	por
dc.rights	openAccess	por
dc.subject	Higher-dimensional automata	por
dc.subject	Labeled homology	por
dc.subject	Cubical homology	por
dc.subject	Cubical dimap	por
dc.title	Labeled homology of higher-dimensional automata	por
dc.type	article	por
dc.peerreviewed	yes	por
oaire.citationStartPage	271	por
oaire.citationEndPage	300	por
oaire.citationIssue	3-4	por
oaire.citationVolume	2	por
dc.identifier.eissn	2367-1734	por
dc.identifier.doi	10.1007/s41468-019-00023-0	por
dc.subject.fos	Ciências Naturais::Matemáticas	por
dc.description.publicationversion	info:eu-repo/semantics/publishedVersion	por
sdum.journal	Journal of Applied and Computational Topology	por
Aparece nas coleções:	CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
labels.pdf		402,72 kB	Adobe PDF	Ver/Abrir