jun1819的专栏

fast paxos算法，英文版，作者：Leslie Lamport，简介： As used in practice, traditional consensus algorithms require three message delays before any process can learn the chosen value. Fast Paxos is an extension of the classic Paxos algorithm that allows the value to be learned in two message delays. How and why the algo- rithm works are explained informally, and a TLA + specification of the algorithm appears as an appendix.

cspbook，csp并发编程模型说明，英文资料，C. A. R. Hoare，June 21, 2004