Expressive modular fine-grained concurrency specification
From MaRDI portal
Publication:5408549
Recommendations
- Modular Safety Checking for Fine-Grained Concurrency
- Modular reasoning about separation of concurrent data structures
- Specifying and verifying concurrent algorithms with histories and subjectivity
- Abstract specifications for concurrent maps
- An integrated specification and verification technique for highly concurrent data structures
Cited in
(12)- Steps in modular specifications for concurrent modules (invited tutorial paper)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Logical relations for fine-grained concurrency
- The essence of higher-order concurrent separation logic
- Modular Safety Checking for Fine-Grained Concurrency
- Concurrent separation logic and operational semantics
- A perspective on specifying and verifying concurrent modules
- Abstract specifications for concurrent maps
- Barriers in Concurrent Separation Logic
- Specifying and verifying concurrent algorithms with histories and subjectivity
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- Sound Automation of Magic Wands
This page was built for publication: Expressive modular fine-grained concurrency specification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408549)