Höherdimensionale Automaten (HDAs) sind ein Modell für nebenläufige Systeme, bei dem jedes Ereignis einem Zeitintervall entspricht. Die Sprachen von HDAs sind genau die Mengen von Intervall-Pomsets mit beschränkter Breite, die unter Subsumption abgeschlossen sind. Diese Sprachen sind genau die MSO-definierbaren Mengen von Intervall-Pomsets mit beschränkter Breite.
Das Kleene-Theorem besagt, dass die von höherdimensionalen Automaten erkannten Sprachen genau die rationalen, subsumptionsgeschlossenen Mengen von endlichen Intervall-Ipomsets sind.