Christian Cachin Idit Keidar Alexander Shraer Fork Sequential Consistency is Blocking http://arxiv.org/abs/0805.2068 2008 CoRR abs/0805.2068 db/journals/corr/corr0805.html#abs-0805-2068 informal publication