Understanding the Power of the Virtually-Synchronous Model
André Schiper, Alain Sandoz · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1993
The purpose of this paper is to define a clear semantics of the virtually-synchronous model, and to show that distributed commit can be solved by the model. This is in a sense not surprising, as it has been shown that distributed consensus can be solved in the asynchronous model with a very weak failure detector. Considering this result, the virtually-synchronous model become extremely powerful, and more basic than the transaction model, providing an interesting broader picture of the problem of building fault-tolerant applications.