Pages that link to "Item:Q5387864"
From MaRDI portal
The following pages link to Towards Automated Proof Support for Probabilistic Distributed Systems (Q5387864):
Displayed 5 items.
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)