The following pages link to Predicate Transformer Semantics (Q3135115):
Displayed 13 items.
- Adas and the equational theory of if-then-else (Q690107) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- A transformational characterization of if-then-else (Q913480) (← links)
- Group axioms for iteration (Q1283821) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- \(\mathcal{M}\)-coextensive objects and the strict refinement property (Q2176089) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Boolean and classical restriction categories (Q3625678) (← links)
- (Q4668854) (← links)
- Taut Monads, Dynamic Logic and Determinism (Q5262941) (← links)
- Equations for if-then-else (Q6171778) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)