Uniform generation of infinite concurrent runs: the case of trace monoids

Samy Abbes, Vincent Jugé

We introduce an algorithm for the uniform generation of infinite runs in concurrent systems under a partial order probabilistic semantics. We work with trace monoids as concurrency…