Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms | IEEE Conference Publication | IEEE Xplore