14 citations · 18 across the 7 of their papers we have counts for
1 paper · 1 filter
Annabelle McIver, Tahiry Rabehaja, Georg Struth
We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound wit…