2026-08-17T12:45:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23646 2025-10-27T10:30:36Z ddc:004 open_access

Higher-Dimensional Automata: Extension to Infinite Tracks Passemard, Luc Amrane, Amazigh Fahrenberg, Uli Higher-dimensional automata concurrency theory omega pomsets Büchi acceptance Muller acceptance interval pomsets pomsets with interfaces We introduce higher-dimensional automata for infinite interval ipomsets (ω-HDAs). We define key concepts from different points of view, inspired from their finite counterparts. Then we explore languages recognized by ω-HDAs under Büchi and Muller semantics. We show that Muller acceptance is more expressive than Büchi acceptance and, in contrast to the finite case, both semantics do not yield languages closed under subsumption. Then, we adapt the original rational operations to deal with ω-HDAs and show that while languages of ω-HDAs are ω-rational, not all ω-rational languages can be expressed by ω-HDAs. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Luc Passemard and Amazigh Amrane and Uli Fahrenberg 2025 Is Part Of LIPIcs, Volume 337, 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSCD.2025.31 urn:nbn:de:0030-drops-236466 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.31 eng https://creativecommons.org/licenses/by/4.0/legalcode