2 citations · 2 across the 3 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…