Higher-Dimensional Automata Theory [LSC]
Uli Fahrenberg
EPITA Rennes
https://ulifahrenberg.github.io/
Date(s) : 30/01/2025 iCal
11h00 - 12h30
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, show
how they relate to Petri nets, give an overview of what we know about
languages of HDAs, and finally talk about applications and future work.
Emplacement
Luminy - LIS, salle 04.05
Catégories
