Abstract Specifications for Concurrent Maps
No abstract available.
Related papers
- A simple abstraction for complex concurrent indexes OOPSLA 2011
- Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine OOPSLA 2015
- Layered and object-based game semantics POPL 2022
- Concurrent distinct choices JFP 2004
- Verifying Visibility-Based Weak Consistency ESOP 2020
- Modular Relaxed Dependencies in Weak Memory Concurrency ESOP 2020
- Actris: session-type based reasoning in separation logic POPL 2020
- Mapping Concurrent Programs to VLIW Processors PPoPP 1991