Labeled homology of higher-dimensional automata

Detalhes bibliográficos
Autor(a) principal: Kahl, Thomas
Data de Publicação: 2018
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/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.
id RCAP_66f194a6db08a294b81995a0d7ea8f34
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/59753
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Labeled homology of higher-dimensional automataHigher-dimensional automataLabeled homologyCubical homologyCubical dimapCiências Naturais::MatemáticasWe 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.info:eu-repo/semantics/publishedVersionSpringerUniversidade do MinhoKahl, Thomas2018-122018-12-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/59753eng2367-17262367-173410.1007/s41468-019-00023-0info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:10:35Zoai:repositorium.sdum.uminho.pt:1822/59753Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:02:14.191705Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Labeled homology of higher-dimensional automata
title Labeled homology of higher-dimensional automata
spellingShingle Labeled homology of higher-dimensional automata
Kahl, Thomas
Higher-dimensional automata
Labeled homology
Cubical homology
Cubical dimap
Ciências Naturais::Matemáticas
title_short Labeled homology of higher-dimensional automata
title_full Labeled homology of higher-dimensional automata
title_fullStr Labeled homology of higher-dimensional automata
title_full_unstemmed Labeled homology of higher-dimensional automata
title_sort Labeled homology of higher-dimensional automata
author Kahl, Thomas
author_facet Kahl, Thomas
author_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Kahl, Thomas
dc.subject.por.fl_str_mv Higher-dimensional automata
Labeled homology
Cubical homology
Cubical dimap
Ciências Naturais::Matemáticas
topic Higher-dimensional automata
Labeled homology
Cubical homology
Cubical dimap
Ciências Naturais::Matemáticas
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018-12
2018-12-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/59753
url http://hdl.handle.net/1822/59753
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2367-1726
2367-1734
10.1007/s41468-019-00023-0
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132422767378432

Registros relacionados