Access the full text.
Sign up today, get DeepDyve free for 14 days.
L. Lamport (1978)
Time, clocks, and the ordering of events in a distributed systemCommun. ACM, 21
G. Taubenfeld, Shmuel Katz, S. Moran (1994)
Impossibility Results in the Presence of Multiple Faulty ProcessesInf. Comput., 113
Michael Fischer, L. Zuck (1988)
Reasoning about Uncertainty in Fault-tolerant Distributed Systems
M. Fischer, N. Lynch, M. Paterson (1985)
Impossibility of distributed consensus with one faulty processJ. ACM, 32
Shmuel Katz, G. Taubenfeld (1986)
What processes know: Definitions and proof methods
G Taubenfeld, S Moran (1989)
3rd Int Workshop on Distributed Algorithms, 1989
M. Fischer, N. Lynch, M. Paterson (1983)
Impossibility of distributed consensus with one faulty process
R. Parikh, R. Ramanujam (1985)
Distributed Processes and the Logic of Knowledge
V. Hadzilacos (1987)
A knowledge-theoretic analysis of atomic commitment protocols
G. Taubenfeld, Shmuel Katz, S. Moran (1989)
Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version)
G. Taubenfeld (1991)
On the Nonexistence of Resilient Consensus ProtocolsInf. Process. Lett., 37
S. Moran, Y. Wolfsthal (1987)
Extended Impossibility Results for Asynchronous Complete NetworksInf. Process. Lett., 26
G. Neiger, S. Toueg (1987)
Substituting for real time and common knowledge in asynchronous distributed systems
Joseph Halpern, Y. Moses (1984)
Knowledge and common knowledge in a distributed environmentArXiv, cs.DC/0006009
Joseph Halpern (1987)
USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS, 2
R. Michel (1989)
A categorical approach to distributed systems expressibility and knowledge
C. Dwork, Y. Moses (1986)
Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures
(1987)
Memory requirements for agreement among unreliable asynchronous processes
H. Attiya, A. Bar-Noy, D. Dolev, D. Peleg, R. Reischuk (1990)
Renaming in an asynchronous environmentJ. ACM, 37
G Taubenfeld, S Katz, S Moran (1989)
9th FCT-TCS Conference, Bangalore, India, 1989
Joseph Halpern (1987)
A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
Ronald Fagin, Joseph Halpern, Moshe Vardi (1991)
A model-theoretic analysis of knowledgeJ. ACM, 38
M. Fischer, N. Immerman (1986)
Foundations of Knowledge for Distributed Systems
Y. Moses, M. Tuttle (1987)
Programming simultaneous actions using common knowledgeAlgorithmica, 3
Joseph Halpern, L. Zuck (1992)
A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocolsJ. ACM, 39
Joseph Halpern, Ronald Fagin (1985)
A formal model of knowledge, action, and communication in distributed systems: preliminary report
D. Lehmann (1984)
Knowledge, common knowledge and related puzzles (Extended Summary)
Y. Moses, Gil Roth (1989)
On reliable message diffusion
M. Tuttle (1989)
Knowledge and Distributed computation
M. Mazer (1989)
A knowledge-theoretic account of negotiated commitment
Da-Wei Wang, L. Zuck (1989)
Tight bounds for the sequence transmission problem
M. Fischer, S. Moran, S. Rudich, G. Taubenfeld (1990)
The wakeup problemSIAM J. Comput., 25
K. Chandy, J. Misra (1985)
How processes learnDistributed Computing, 1
MJ Fischer, LD Zuck (1988)
Formal techniques in real-time and fault-tolerant systems
We study the relation between knowledge and space. That is, we analyze how much shared memory space is needed in order to learn certain kinds of facts. Such results are useful tools for reasoning about shared memory systems. In addition we generalize a known impossibility result, and show that results about how knowledge can be gained and lost in message passing systems also hold for shared memory systems.
Distributed Computing – Springer Journals
Published: Nov 27, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.