DOI,IST REx ID,Research Group,Title of publication
10.1145/3591230,13179,DaAl,CQS: A formally-verified framework for fair and abortable synchronization