14 citations · 18 across the 7 of their papers we have counts for
1 paper · 1 filter
Annabelle McIver, Tahiry Rabehaja, Georg Struth
Jones' rely-guarantee calculus for shared variable concurrency is extended to include probabilistic behaviours. We use an algebraic approach which combines and adapts probabilistic…