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 ( …

In this paper we develop the language theory of higher-dimensional automata (HDAs).
Regular languages of HDAs are sets of finite interval partially ordered multisets (pomsets) with …

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 concurrency …

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 …

Nous étudions dans cette thèse des structures généralisant la notion classique de mot. Elles
sont construites à partir d’un ensemble partiellement ordonné (partially ordered set ou poset…

In this paper we consider two classes of posets labeled over an alphabet A. The class $$SP^\diamond
(A)$$ is built from the letters and closed under the operations of series finite, $$\…

Let A be an alphabet and S P ⋄ ( A ) denote the class of all countable N-free partially ordered
sets labeled by A, in which chains are scattered linear orderings and antichains are finite. …

… L’amazigh est une langue maternelle qui relie ses parlers entre eux par des traits … langue
amazighe est une vieille langue principalement du nord africain classée dans la amazigh est …

… le peuple amazigh. Et parmi ces chanteurs qui lutte contre le pouvoir algérien il y a Ali
Amrane . Par ça nous pouvons conclure que l’apport des textes chanté par Ali Amrane et plutôt …

… La réalisation de notre recherche s’est effectuée aux établissements ; CHU Khalil Amrane
… The realization of our research was carried out at the establishments; UHC Khalil Amrane of …