A Kleene Theorem for Higher-Dimensional Automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

A Kleene Theorem for Higher-Dimensional Automata

Résumé

We prove a Kleene theorem for higher-dimensional automata (HDAs). It states that the languages they recognise are precisely the rational subsumption-closed sets of interval pomsets. The rational operations include a gluing composition, for which we equip pomsets with interfaces. For our proof, we introduce HDAs with interfaces as presheaves over labelled precube categories and use tools inspired by algebraic topology, such as cylinders and (co)fibrations. HDAs are a general model of non-interleaving concurrency, which subsumes many other models in this field. Interval orders are used as models for concurrent or distributed systems where events extend in time. Our tools and techniques may therefore yield templates for Kleene theorems in various models and applications.

Dates et versions

hal-04540030 , version 1 (10-04-2024)

Identifiants

Citer

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański. A Kleene Theorem for Higher-Dimensional Automata. CONCUR, Sep 2022, Warsaw, Poland. ⟨10.4230/LIPIcs.CONCUR.2022.29⟩. ⟨hal-04540030⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

More