Ben Or去中心化一致性算法在TLA中的实现+Implementation of Ben Or decentralized consensus algorithm in TLA+ (2020-03-22, TLA, 535KB, 下载0次)