Yoram Moses, Mark R. Tuttle  Home/Search
Context Related
| digital.com/who/people...mtalg88.ps.gz Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: digital.com/who/people/tutt...bib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : This work applies the theory of knowledge in distributed systems to the design of efficient fault-tolerant protocols. We define a large class of problems requiring coordinated, simultaneous action in synchronous systems, and give a method of transforming specifications of such problems into protocols that are optimal in all runs: for every possible input to the system and faulty processor behavior, these protocols are guaranteed to perform the simultaneous actions as soon as any other... (Update)
Cited by: More
Distributed Programming for Dummies - A Shifting.. - Delporte-Gallet.. (Correct)
Tight Bounds for k-Set Agreement - Chaudhuri, Herlihy, Lynch, Tuttle (1998) (Correct)
Hundreds of Impossibility Results for Distributed Computing - Fich, Ruppert (Correct)
Similar documents (at the sentence level):
42.9%: Programming Simultaneous Actions Using Common Knowledge - Moses, Tuttle (1988) (Correct)
7.9%: Programming Simultaneous Actions Using Common Knowledge.. - Moses, Tuttle (1988) (Correct)
Active bibliography (related documents): More All
0.6: Common Knowledge and Consistent Simultaneous Coordination - Neiger, Tuttle (1992) (Correct)
0.3: The Logic of Distributed Protocols - Preliminary Report Richard (Correct)
0.3: A Little Knowledge Goes a Long Way: Knowledge-based.. - Halpern, Zuck (1992) (Correct)
Similar documents based on text: More All
0.1: Using Counterfactuals in Knowledge-Based Programming - Halpern, Moses (1998) (Correct)
0.1: Algorithmic Knowledge - Halpern, Moses, Vardi (1994) (Correct)
0.1: Using Knowledge to Optimally Achieve Coordination in.. - Neiger, Bazzi (1993) (Correct)
Related documents from co-citation: More All
48: Knowledge and common knowledge in a Byzantine environment: Crash failures (context) - Dwork, Moses - 1990
20: Knowledge and common knowledge in a distributed environment - Halpern, Moses - 1984
19: A lower bound for the time to assure interactive consistency - Fischer, Lynch - 1982
BibTeX entry: (Update)
Yoram Moses and Mark R. Tuttle. Programming simultaneous actions using common knowledge. Algorithmica, 3(1):121--169, 1988. http://citeseer.ist.psu.edu/moses88programming.html More
@inproceedings{ moses86programming,
author = "Yoram Moses and Mark R. Tuttle",
title = "Programming Simultaneous Actions Using Common Knowledge: Preliminary Version",
booktitle = "{IEEE} Symposium on Foundations of Computer Science",
pages = "208-221",
year = "1986",
url = "citeseer.ist.psu.edu/moses88programming.html" }
Citations (may not include all citations):4212 Computers and intractability: A guide to the theory of NP-co.. (context) - Garey, Johnson - 1979
1911 Introduction to automata theory (context) - Hopcroft, Ullman - 1979
256 Reaching agreement in the presence of faults (context) - Pease, Shostak et al. - 1980
194 Knowledge and Belief (context) - Hintikka - 1962
94 Knowledge and common knowledge in a Byzantine environment: T.. (context) - Dwork, Moses - 1986
76 How processes learn (context) - Chandy, Misra - 1986
73 A lower bound for the time to assure interactive consistency - Fischer, Lynch - 1982
70 The consensus problem in unreliable distributed systems - Fischer - 1983
58 A guide to the modal logic of knowledge and belief (context) - Halpern, Moses - 1985
17 Foundations of knowledge for distributed systems (context) - Fischer, Immerman - 1986
16 A lower bound for Byzantine agreement with fail-stop process.. (context) - Hadzilacos
14 Methods for distributed transaction commit and recovery usin.. (context) - Mohan, Strong et al. - 1983
13 A Communication-Efficient Canonical Form for Fault-Tolerant .. (context) - Coan - 1986
13 The distributed firing squad problem - Coan, Dolev et al. - 1985
11 Notes on the Dolev-Strong lower bound for Byzantine agreemen.. (context) - Merritt - 1985
10 Eventual is earlier than immediate (context) - Dolev, Reischuk et al. - 1982
7 The Byzantine Firing Squad Problem - Burns, Lynch - 1985
6 Distributed processes and the logic of knowledge (context) - Parikh, Ramanujam - 1985
4 Knowledge in a distributed environment (context) - Moses - 1986
3 Efficient solutions to the distributed firing squad problem (context) - Rabin
3 and communication in distributed systems (context) - Halpern, Fagin et al. - 1985
3 Byzantine grenerals and transaction commit protocols (context) - Lamport, Fischer - 1982
2 Attaining common knowledge in synchronous distributed networ.. (context) - Michel - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.crl.research.digital.com/who/people/tuttle/bib.htm): More
Hierarchical Correctness Proofs for Distributed Algorithms - Lynch, Tuttle (1987) (Correct)
A Knowledge-Based Analysis of Zero Knowledge - Halpern, Moses, Tuttle (1988) (Correct)
Fast Increment Registers - Chaudhuri, Tuttle (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC