Pages that link to "Item:Q909441"
From MaRDI portal
The following pages link to A predicate transformer for progress (Q909441):
Displaying 8 items.
- An experiment with the use of predicate transformers in UNITY (Q673907) (← links)
- On the logic of UNITY (Q673960) (← links)
- Eliminating the substitution axiom from UNITY logic (Q751848) (← links)
- Special \(K\)-types, tempered characters and the Beilinson-Bernstein realization (Q1109154) (← links)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
- A predicate transformer for the progress property `to-always' (Q1377323) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- Composing leads-to properties (Q1575647) (← links)
