Pages that link to "Item:Q5459189"
From MaRDI portal
The following pages link to Using Probabilistic Kleene Algebra for Protocol Verification (Q5459189):
Displayed 10 items.
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- Modeling Routing Protocols in Adhoc Networks (Q3628490) (← links)
- Weighted synchronous automata (Q5889309) (← links)
- VPHL: a verified partial-correctness logic for probabilistic programs (Q5971408) (← links)