Topological abstraction of higher-dimensional automata

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 sci...

Full description

Bibliographic Details
Main Author: Kahl, Thomas (author)
Format: article
Language:eng
Published: 2016
Subjects:
Higher-dimensional automata
Topological abstraction
Trace category
Homology graph
Cube collapse
Ciências Naturais::Matemáticas
Science & Technology
Online Access:http://hdl.handle.net/1822/41646
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/41646

Internet

http://hdl.handle.net/1822/41646

Similar Items