47 citations · 56 across the 7 of their papers we have counts for
1 paper · 2 filters
Roshan Sharma, Shengyi Wang, Alexander Oey +3
Logical atomicity has been widely accepted as a specification format for data structures in concurrent separation logic. While both lock-free and lock-based data structures have be…