Developments in Higher-Dimensional Automata Theory

Higher-dimensional automata (HDAs) provide a general and automata-like model for non-interleaving concurrency. Some years ago we have set out to create a proper automata theory for HDAs. We now have a Kleene theorem, a Myhill-Nerode theorem, and a Büchi-Elgot-Trakhtenbrot theorem, providing a solid basis for a higher-dimensional automata theory. In my talk I will start with a gentle introduction to HDAs, then give an overview of these three results, and finally hint at applications and future work.

Authors

• Uli Fahrenberg

Keywords

No keywords are indexed for this paper.