Pages that link to "Item:Q1120264"
From MaRDI portal
The following pages link to Temporal predicate transformers and fair termination (Q1120264):
Displaying 8 items.
- Fairness and the axioms of control predicates (Q1104729) (← links)
- The \(\mu\)-calculus as an assertion-language for fairness arguments (Q1124314) (← links)
- Weakest preconditions for progress (Q1189258) (← links)
- Safety and progress of recursive procedures (Q1903075) (← links)
- On the Expressiveness of MTL Variants over Dense Time (Q3510842) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)
- Semantic models for total correctness and fairness (Q5887518) (← links)
- Demonic, angelic and unbounded probabilistic choices in sequential programs (Q5925822) (← links)