Pages that link to "Item:Q5313085"
From MaRDI portal
The following pages link to Mathematics of Program Construction (Q5313085):
Displayed 6 items.
- A probability perspective (Q640292) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Automated reasoning for probabilistic sequential programs with theorem proving (Q2695373) (← links)
- Probabilistic Choice in Refinement Algebra (Q3521991) (← links)