1. Enabling semantics to improve detection of data races and misuses of lock‐free data structures. (23rd April 2017) Authors: Dolz, Manuel F.; Del Rio Astorga, David; Fernández, Javier; Torquati, Massimo; García, José Daniel; García‐Carballeira, Félix; Danelutto, Marco Other Names: Lengauer Christian guestEditor.; Bougé Luc guestEditor.; Trystram Denis guestEditor.; Balaji Pavan guestEditor.; Leung Kai‐Cheung guestEditor. Journal: Concurrency and computation Issue: Volume 29:Number 15(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗