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