Guarded Sections: Structuring Air for Wait-Free Synchronisation.

Gabor Drescher, Wolfgang Schrder-Preikschat

Browse the full ISORC paper archive.