TY  - RPRT
TI  - Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
AU  - Saksham Chand
AU  - Yanhong A. Liu
PY  - 2019
UR  - https://arxiv.org/abs/1802.09687
ID  - 1802.09687
ER  -