A Theory-Oriented Introduction to Wait-Free Synchronization Based on the Adaptive Renaming Problem | IEEE Conference Publication | IEEE Xplore