Pages that link to "Item:Q539223"
From MaRDI portal
The following pages link to Proving linearizability with temporal logic (Q539223):
Displaying 6 items.
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Interconnections between classes of sequentially compositional temporal formulas (Q2450935) (← links)
- Formal Verification of a Lock-Free Stack with Hazard Pointers (Q3105753) (← links)
