Please use this identifier to cite or link to this item:

TitleWeak morphisms of higher dimensional automata
Author(s)Kahl, Thomas
KeywordsHigher dimensional automata
Precubical set
Geometric realisation
Trace language
Preorder relation
Issue date2014
JournalTheoretical Computer Science
Abstract(s)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.
Publisher version
AccessRestricted access (UMinho)
Appears in Collections:CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Files in This Item:
File Description SizeFormat 
  Restricted access
Documento principal269 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