Pages that link to "Item:Q5887518"
From MaRDI portal
The following pages link to Semantic models for total correctness and fairness (Q5887518):
Displaying 5 items.
- Temporal predicate transformers and fair termination (Q1120264) (← links)
- The \(\mu\)-calculus as an assertion-language for fairness arguments (Q1124314) (← links)
- Semantic models for total correctness and fairness (Q1208419) (← links)
- (Q3696492) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)