Pages that link to "Item:Q2268474"
From MaRDI portal
The following pages link to Refinement algebra for probabilistic programs (Q2268474):
Displaying 5 items.
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Integrating stochastic reasoning into Event-B development (Q903513) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
