On the homology language of HDA models of transition systems

doi:10.1007/s41468-023-00120-1

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

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Kahl, Thomas	por
dc.date.accessioned	2023-10-20T13:25:51Z	-
dc.date.available	2023-10-20T13:25:51Z	-
dc.date.issued	2023-05-04	-
dc.identifier.citation	Kahl, T. (2023, May 4). On the homology language of HDA models of transition systems. Journal of Applied and Computational Topology. Springer Science and Business Media LLC. http://doi.org/10.1007/s41468-023-00120-1	-
dc.identifier.issn	2367-1726	por
dc.identifier.uri	https://hdl.handle.net/1822/87018	-
dc.description.abstract	Given a transition system with an independence relation on the alphabet of labels, one can associate with it a usually very large symmetric higher-dimensional automaton. The purpose of this paper is to show that by choosing an acyclic relation whose symmetric closure is the given independence relation, it is possible to construct a much smaller nonsymmetric HDA with the same homology language.	por
dc.description.sponsorship	FCT -Fundação para a Ciência e a Tecnologia(UIDB/00013/2020)	por
dc.language.iso	eng	por
dc.publisher	Springer	por
dc.rights	openAccess	por
dc.rights.uri	http://creativecommons.org/licenses/by/4.0/	por
dc.subject	Higher-dimensional automata	por
dc.subject	Transition system	por
dc.subject	Homology language	por
dc.title	On the homology language of HDA models of transition systems	por
dc.type	article	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	https://doi.org/10.1007/s41468-023-00120-1	por
oaire.citationStartPage	1	por
oaire.citationEndPage	15	por
dc.identifier.eissn	2367-1734	por
dc.identifier.doi	10.1007/s41468-023-00120-1	por
dc.subject.fos	Ciências Naturais::Matemáticas	por
sdum.journal	Journal of Applied and Computational Topology	por
oaire.version	VoR	por
Aparece nas coleções:	CMAT - Artigos em revistas com arbitragem / Papers in peer review journals