14 citations · 36 across the 16 of their papers we have counts for
1 paper · 1 filter
Samy Abbes
The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustra…