2 citations · 2 across the 4 of their papers we have counts for
4 papers
Logic and Languages of Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +1
In this paper we study finite higher-dimensional automata (HDAs) from the logical point of view. Languages of HDAs are sets of finite bounded-width interval pomsets with interfaces…
Presenting Interval Pomsets with Interfaces
Amazigh Amrane, Hugo Bazille, Emily Clement +2
Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurren…
Bisimulations and Logics for Higher-Dimensional Automata
Safa Zouari, Krzysztof Ziemiański, Uli Fahrenberg
Higher-dimensional automata (HDAs) are models of non-interleaving concurrency for analyzing concurrent systems. There is a rich literature that deals with bisimulations for concurr…
Closure and Decision Properties for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +1
We report some further developments regarding the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially ordered mul…