John D. Garofalakis Paul G. Spirakis Basil Tampakas Sergio Rajsbaum Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization. 63-74 1994 128 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs128.html#GarofalakisSTR94