David Sanán, Yongwang Zhao, Shang-Wei Lin 0001, Yang Liu 0003. 2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Transactions on Programming Languages and Systems, 43(1), 2021. [doi]
@article{SananZLL21,
title = {2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee},
author = {David Sanán and Yongwang Zhao and Shang-Wei Lin 0001 and Yang Liu 0003},
year = {2021},
doi = {10.1145/3436808},
url = {https://doi.org/10.1145/3436808},
researchr = {https://researchr.org/publication/SananZLL21},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {43},
number = {1},
}