5 papers
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.…
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…
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 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…
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…