Pages that link to "Item:Q5313088"
From MaRDI portal
The following pages link to Mathematics of Program Construction (Q5313088):
Displayed 6 items.
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems (Q2871829) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)