Now showing items 1-4 of 4

    • Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems 

      Panangaden, Prakash; Taylor, Kimberly E. (Cornell University, 1989-05)
      In this paper we discuss a new, knowledge-theoretic definition of agreement appropriate to asynchronous systems. This definition has two important features: first, it uses causality, rather than time, in its definition ...
    • The Inhibition Spectrum and the Achievement of Causal Consistency 

      Critchlow, Carol M.; Taylor, Kimberly E. (Cornell University, 1990-02)
      We consider the problem of distinguishing causally-consistent global states in asynchronous distributed systems. Such states are fundamental to asynchronous systems, because they correspond to possible simultaneous global ...
    • Knowledge and Inhibition in Asynchronous Distributed Systems 

      Taylor, Kimberly E. (Cornell University, 1990-07)
      In an asynchronous distributed system, processes communicate only via message passing along channels with unbounded transmission time. Relative process speeds are arbitrary and processes do not have access to a common ...
    • The Role of Inhibition in Asynchronous Consistent-Cut Protocols 

      Taylor, Kimberly E. (Cornell University, 1989-04)
      We present results relevant to the development of consistent-cut protocols. Consistent-cut protocols are those which are based on finding a consistent global state in an underlying distributed computation; they are used ...