The following pages link to (Q4738112):
Displaying 12 items.
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Programming from Galois connections (Q1931902) (← links)
- Components and acyclicity of graphs. An exercise in combining precision with concision (Q2667191) (← links)
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic (Q2864394) (← links)
- An exercise on transition systems (Q2873687) (← links)
- Tabling with Sound Answer Subsumption (Q4593070) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)