14 citations · 36 across the 16 of their papers we have counts for
18 papers
Configured spaces and their Möbius polynomials
Samy Abbes
An arbitrary dependence structure between a finite family of events of a probability space defines a hypergraph structure. We study the converse operation, starting from a hypergra…
Ergodic properties of concurrent systems
Samy Abbes, Vincent Jugé
A concurrent system is defined as a monoid action of a trace monoid on a finite set of states. Concurrent systems represent state models where the state is distributed and where st…
Convergence of distributions on paths
Samy Abbes
We study the convergence of distributions on finite paths of weighted digraphs, namely the family of Boltzmann distributions and the sequence of uniform distributions. Targeting ap…
Uniform generation of large traces
Samy Abbes, Vincent Jugé
We introduce an algorithm for the uniform generation of infinite traces, i.e., infinite words up to commutation of some letters. The algorithm outputs on-the-fly approximations of…
Introduction to probabilistic concurrent systems
Samy Abbes
The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustra…
Deterministic concurrent systems
Samy Abbes
We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irred…