Languages of higher dimensional automata and Kleene theorem

Prelegent(ci)

Krzysztof Ziemiański

Afiliacja

MIM UW

Termin

24 listopada 2021 14:15

Informacje na temat wydarzenia

online

Tytuł w języku angielskim

joint work with U. Fahrenberg, C. Johansen, G. Struth

Seminarium

Seminarium „Teoria automatów”

---

Higher dimensional automata (HDA) are a formalism for modeling concurrent systems introduced by Pratt and van Glabbeek. I will present several ways to define languages of HDA, which are collections of interval pomsets closed under subsumption. Then I will define regular interval pomset languages and formulate Kleene theorem for HDA. Finally, I will sketch its proof, which employs some ideas derived from topology and geometry.

---