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…