14 citations · 18 across the 7 of their papers we have counts for
4 papers · 1 filter
Abstract Hidden Markov Models: a monadic account of quantitative information flow
Annabelle McIver, Carroll Morgan, Tahiry Rabehaja
Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joi…
Probabilistic Rely-guarantee Calculus
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…
An Event Structure Model for Probabilistic Concurrent Kleene Algebra
Annabelle McIver, Tahiry Rabehaja, Georg Struth
We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based on probabilistic event structures, which combines ideas from Katoen's work on pr…
Probabilistic Concurrent Kleene Algebra
Annabelle McIver, Tahiry Rabehaja, Georg Struth
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and pro…