Coqa: Concurrent Objects with Quantized Atomicity
No abstract available.
Related papers
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking VMCAI 2004
- Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types TOPLAS 1989
- A separation logic for refining concurrent objects POPL 2011
- Supporting lock-free composition of concurrent data objects PPoPP 2010
- Linguistic Support for Atomic Data Types TOPLAS 1990
- Scalable concurrent and parallel mark ISMM 2012
- Tractable Refinement Checking for Concurrent Objects POPL 2015
- Verifying correct usage of atomic blocks and typestate OOPSLA 2008