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

TitleTopological abstraction of higher-dimensional automata
Author(s)Kahl, Thomas
KeywordsHigher-dimensional automata
Topological abstraction
Trace category
Homology graph
Cube collapse
Issue date2016
PublisherElsevier
JournalTheoretical Computer Science
Abstract(s)Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.
TypeArticle
URIhttp://hdl.handle.net/1822/41646
DOI10.1016/j.tcs.2016.04.018
ISSN0304-3975
Publisher versionhttp://www.sciencedirect.com/science/article/pii/S0304397516300573
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 
topabs.pdf
  Restricted access
384,73 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