Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/32076

TitleWeak morphisms of higher dimensional automata
Author(s)Kahl, Thomas
KeywordsHigher dimensional automata
Precubical set
Geometric realisation
Trace language
Preorder relation
Abstraction
Issue date2014
PublisherElsevier
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.
TypeArticle
URIhttp://hdl.handle.net/1822/32076
DOI10.1016/j.tcs.2014.02.028
ISSN0304-3975
Publisher versionhttp://www.sciencedirect.com/science/article/pii/S0304397514001443
Peer-Reviewedyes
AccessRestricted access (UMinho)
Appears in Collections:CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Files in This Item:
File Description SizeFormat 
weakmor.pdf
  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