5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
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…