An Analysis of a Virtually Synchronous Protocol. - Dan Arnon; Navindra Sharma (CoRR, 2015)