Citation: C. Baier et M. Kwiatkowska, MODEL CHECKING FOR A PROBABILISTIC BRANCHING TIME LOGIC WITH FAIRNESS, Distributed computing, 11(3), 1998, pp. 125-155
Citation: Kas. Abdelghaffar et A. Elabbadi, EFFICIENT DETECTION OF DISCREPANCIES IN MULTIPLE FILE COPIES, Distributed computing, 11(2), 1998, pp. 59-72
Citation: Ad. Kshemkalyani et M. Singhal, NECESSARY AND SUFFICIENT CONDITIONS ON INFORMATION FOR CAUSAL MESSAGEORDERING AND THEIR OPTIMAL IMPLEMENTATION, Distributed computing, 11(2), 1998, pp. 91-111
Citation: Jh. Anderson et M. Moir, USING LOCAL-SPIN KAPPA-EXCLUSION ALGORITHMS TO IMPROVE WAIT-FREE OBJECT IMPLEMENTATIONS, Distributed computing, 11(1), 1997, pp. 1-20
Citation: A. Schiper, EARLY CONSENSUS IN AN ASYNCHRONOUS SYSTEM WITH A WEAK FAILURE DETECTOR (VOL 10, PG 149, 1997), Distributed computing, 10(4), 1997, pp. 198-198