Teng Long, Xingtao Ren, Qing Wang, Chao Wang. Verifying the safety properties of distributed systems via mergeable parallelism. Journal of Systems Architecture, 130:102646, 2022. [doi]
@article{LongRWW22,
title = {Verifying the safety properties of distributed systems via mergeable parallelism},
author = {Teng Long and Xingtao Ren and Qing Wang and Chao Wang},
year = {2022},
doi = {10.1016/j.sysarc.2022.102646},
url = {https://doi.org/10.1016/j.sysarc.2022.102646},
researchr = {https://researchr.org/publication/LongRWW22},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {130},
pages = {102646},
}