Weak morphisms of higher dimensional automata

doi:10.1016/j.tcs.2014.02.028

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

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Kahl, Thomas	por
dc.date.accessioned	2014-12-16T15:25:21Z	-
dc.date.available	2014-12-16T15:25:21Z	-
dc.date.issued	2014	-
dc.identifier.issn	0304-3975	por
dc.identifier.uri	https://hdl.handle.net/1822/32076	-
dc.description.abstract	We introduce weak morphisms of higher dimensional automata and use them to define preorder relations for HDAs, among which are homeomorphic abstraction and trace equivalent abstraction. It is shown that homeomorphic abstraction is essentially always stronger than trace equivalent abstraction. We also define the trace language of an HDA and show that, for a large class of HDAs, it is invariant under trace equivalent abstraction.	por
dc.description.sponsorship	This research has been supported by FEDER funds through “Programa Operacional Factores de Competitividade – COMPETE” and by FCT – Fundação para a Ciência e a Tecnologia through projects Est-C/MAT/UI0013/2011 and PTDC/MAT/0938317/2008.	por
dc.language.iso	eng	por
dc.publisher	Elsevier	por
dc.rights	restrictedAccess	por
dc.subject	Higher dimensional automata	por
dc.subject	Precubical set	por
dc.subject	Geometric realisation	por
dc.subject	Trace language	por
dc.subject	Preorder relation	por
dc.subject	Abstraction	por
dc.title	Weak morphisms of higher dimensional automata	por
dc.type	article	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	http://www.sciencedirect.com/science/article/pii/S0304397514001443	por
sdum.publicationstatus	published	por
oaire.citationStartPage	42	por
oaire.citationEndPage	61	por
oaire.citationTitle	Theoretical Computer Science	por
oaire.citationVolume	536	por
dc.identifier.doi	10.1016/j.tcs.2014.02.028	por
dc.subject.fos	Ciências Naturais::Matemáticas	por
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
dc.subject.wos	Science & Technology	por
sdum.journal	Theoretical Computer Science	por
Aparece nas coleções:	CMAT - Artigos em revistas com arbitragem / Papers in peer review journals