9 papers
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Emily Clement +3
In this paper we explore languages of higher-dimensional automata (HDAs) from an algebraic and logical point of view. Such languages are sets of finite width-bounded interval pomse…
Higher-Dimensional Automata : Extension to Infinite Tracks
Luc Passemard, Amazigh Amrane, Uli Fahrenberg
We introduce higher-dimensional automata for infinite interval ipomsets (-HDAs). We define key concepts from different points of view, inspired from their finite counterparts. T…
Petri Nets and Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +2
Petri nets and their variants are often considered through their interleaved semantics, i.e. considering executions where, at each step, a single transition fires. This is clearly…
Active Learning Techniques for Pomset Recognizers
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte +2
Pomsets are a promising formalism for concurrent programs based on partially ordered sets. Among this class, series-parallel pomsets admit a convenient linear representation and ca…
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…
Higher-Dimensional Timed Automata for Real-Time Concurrency
Amazigh Amrane, Hugo Bazille, Emily Clement +2
We present a new language semantics for real-time concurrency. Its operational models are higher-dimensional timed automata (HDTAs), a generalization of both higher-dimensional aut…
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…
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets
Amazigh Amrane, Nicolas Bedon
Let be an alphabet and denote the class of all countable N-free partially ordered sets labeled by , in which chains are scattered linear orderings and antic…