5 citations · 5 across the 1 of their papers we have counts for
1 paper
Xiaosong Gu, Wei Cao, Yicong Zhu +3
Consensus protocols are widely used in building reliable distributed software systems and its correctness is of vital importance. TLA+ is a lightweight formal specification languag…