@article{article, title = {{Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{Armstrong A and Gomes VBF and Struth G}}, doi = {{10.1007/978-3-319-06410-9_6}}, pages = {{78-93}}, note = {{Accessed on 2025/04/15}}}