Verifying the Correctness of Distributed Systems via Mergeable Parallelism.

Teng Long, Xingtao Ren, Qing Wang, Chao Wang

Browse the full SETTA paper archive.