François Lépine

Abstract Herlihy proved that compare-and-set (CAS) is universal in the classical computing system model composed of an a priori known number of processes. For this, he proposed the first universal construction capable of emulating any data…