"Moderately Complex Paxos Made Simple: High-Level Specification of ..."

Yanhong A. Liu, Saksham Chand, Scott D. Stoller (2017)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2018-08-13