Pages that link to "Item:Q1648035"
From MaRDI portal
The following pages link to A perspective on specifying and verifying concurrent modules (Q1648035):
Displaying 12 items.
- Contracts for concurrency (Q846109) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Interface-based specification and verification of concurrency controllers (Q2845501) (← links)
- Verification of parameterized concurrent programs by modular reasoning about data and control (Q2942881) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- (Q4709338) (← links)
- (Q4941937) (← links)
- (Q4997233) (← links)
- (Q5155670) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)