Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization C.T.I. Technical Report TR 93.03.10 - Rajsbaum, S.; Γαροφαλάκης, Γιάννης; Σπυράκης, Παύλος Γ.; Ταμπακάς, Βασίλειος Τ. (Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών, 1993)