2 papers
math.CO2025
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…
math.PR2025
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…