Pages that link to "Item:Q2802440"
From MaRDI portal
The following pages link to Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity (Q2802440):
Displayed 7 items.
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Abstract Specifications for Concurrent Maps (Q2988678) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Connecting Higher-Order Separation Logic to a First-Order Outside World (Q5041105) (← links)
- (Q5090915) (← links)
- (Q5111648) (← links)