The following pages link to (Q4808696):
Displayed 14 items.
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- Probabilistic Choice in Refinement Algebra (Q3521991) (← links)
- Strong nilpotence holds in dimensions up to five only<sup>∗</sup> (Q3989609) (← links)