Conferences in DBLP
Alan J. Demers , Daniel H. Greene , Carl Hauser , Wes Irish , John Larson , Scott Shenker , Howard E. Sturgis , Daniel C. Swinehart , Douglas B. Terry Epidemic Algorithms for Replicated Database Maintenance. [Citation Graph (11, 0)][DBLP ] Conf ] Boris Kogan , Hector Garcia-Molina Update Propagation in Bakunin Data Networks. [Citation Graph (3, 0)][DBLP ] Conf ] Kenneth J. Goldman , Nancy A. Lynch Quorum Consensus in Nested Transaction Systems. [Citation Graph (4, 0)][DBLP ] Conf ] Amotz Bar-Noy , Danny Dolev , Cynthia Dwork , H. Raymond Strong Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine Agreement. [Citation Graph (1, 0)][DBLP ] Conf ] Michael F. Bridgland , Ronald J. Watro Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Alan David Fekete Asynchronous Approximate Agreement. [Citation Graph (0, 0)][DBLP ] Conf ] David Peleg , Jeffrey D. Ullman An Optimal Synchronizer for the Hypercube. [Citation Graph (0, 0)][DBLP ] Conf ] Benny Chor , Amos Israeli , Ming Li On Processor Coordination Using Asynchronous Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Reuven Bar-Yehuda , Oded Goldreich , Alon Itai On the Time-Complexity of Broadcast in Radio Networks: An Exponential Gap Between Determinism and Randomization. [Citation Graph (0, 0)][DBLP ] Conf ] Yehuda Afek , Michael E. Saks Detecting Global Termination Conditions in the Face of Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Hélary , Claude Jard , Noël Plouzeau , Michel Raynal Detection of Stable Properties in Distributed Applications. [Citation Graph (2, 0)][DBLP ] Conf ] Nancy A. Lynch , Mark R. Tuttle Hierarchical Correctness Proofs for Distributed Algorithms. [Citation Graph (6, 0)][DBLP ] Conf ] Bengt Jonsson Modular Verification of Asynchronous Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Herlihy , Jeannette M. Wing Specifying Graceful Degradation in Distributed Systems. [Citation Graph (2, 0)][DBLP ] Conf ] Shmuel Katz , Doron Peled Interleaving Set Temporal Logic (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Ron Koymans Specifying Message Passing Systems Requires Extending Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Amir Pnueli A Hierarchy of Temporal Properties (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ambuj K. Singh , James H. Anderson , Mohamed G. Gouda The Elusive Atomic Register Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] James E. Burns , Gary L. Peterson Constructing Multi-reader Atomic Values From Non-atomic Values. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Newman-Wolfe A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Bard Bloom Constructing Two-Writer Atomic Registers. [Citation Graph (0, 0)][DBLP ] Conf ] Benny Chor , Michael O. Rabin Achieving Independence in Logarithmic Number of Rounds. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Gil Neiger , Sam Toueg Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Orna Grumberg Avoiding The State Explosion Problem in Temporal Logic Model Checking. [Citation Graph (1, 0)][DBLP ] Conf ] 