43 citations · 157 across the 25 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 1 cited
AppLP: A Dialogue on Applications of Logic Programming
David S. Warren, Yanhong A. Liu
This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Confere…
cs.DC2017★ 8 cited
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms
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…