Guarded Sections: Structuring Aid for Wait-Free Synchronisation | IEEE Conference Publication | IEEE Xplore