Browsing LCS Technical Memos (1974 - 2003) by Author "Dwork, Cynthia"

Now showing items 1-4 of 4

    • Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty 

      Attiya, Hagit; Dwork, Cynthia; Lynch, Nancy A.; Stockmeyer, Larry (1990-11)

    • Consensus in the Presence of Partial Synchrony 

      Dwork, Cynthia; Lynch, Nancy A.; Stockmeyer, Larry (1985-10)
      The concept of partial synchrony in a distributed system is introduced. Partial synchrony lies between the cases of a synchronous system and an asynchronous system. In a synchronous system, there is a known fixed upper ...

    • Knowledge and Common Knowledge in a Byzantine Environment: Crash failures 

      Dwork, Cynthia; Moses, Yoram (1986-07)
      By analyzing the states of knowledge that the processors attain in an unreliable system of a simple type, we capture some of the basic underlying structure of such systems. In particular, we study what facts become common ...

    • On the Sequential Nature of Unification 

      Dwork, Cynthia; Kanellakis, Paris C.; Mitchell, John C. (1984-03)
      The problem of unification of terms is log-space complete for P. In deriving this lower bound no use is made of the potentially concise representation of terms by directed acyclic graphs. In addition, the problem remains ...