Pages that link to "Item:Q5408549"
From MaRDI portal
The following pages link to Expressive modular fine-grained concurrency specification (Q5408549):
Displayed 8 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
- Abstract Specifications for Concurrent Maps (Q2988678) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- (Q5155670) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)