3 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
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…