TY  - RPRT
TI  - Effectively Nonblocking Consensus Procedures Can Execute Forever - a Constructive Version of FLP
AU  - Robert Constable
PY  - 2011
UR  - https://arxiv.org/abs/1109.3370
ID  - 1109.3370
ER  -