43 citations · 157 across the 25 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 12 cited
Founded Semantics and Constraint Semantics of Logic Rules
Yanhong A. Liu, Scott D. Stoller
Logic rules and inference are fundamental in computer science and have been studied extensively. However, prior semantics of logic languages can have subtle implications and can di…
cs.DC2016★ 43 cited
Formal Verification of Multi-Paxos for Distributed Consensus
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Paxos is an important algorithm for a set of distributed processes to agree on a single value or a sequence of values, for which it is called Basic Paxos or Multi-Paxos, respective…