92 citations · 394 across the 34 of their papers we have counts for
1 paper · 2 filters
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
This paper describes the application of a high-level language and method in developing simpler specifications of more complex variants of the Paxos algorithm for distributed consen…