Works of Nancy Lynch: Recent submissions

Now showing items 43-45 of 99

    • Asynchronous Failure Detectors 

      Cornejo, Alejandro; Lynch, Nancy; Sastry, Srikanth (2013-10-10)
      Failure detectors -- oracles that provide information about process crashes -- are an important abstraction for crash tolerance in distributed systems. The generality of failure-detector theory, while providing great ...

    • Coded Emulation of Shared Atomic Memory for Message Passing Architectures 

      Cadambe, Viveck R.; Lynch, Nancy; Medard, Muriel; Musial, Peter (2013-07-17)
      This paper considers the communication and storage costs of emulating atomic (linearizable) read/write shared memory in distributed message-passing systems. We analyze the costs of previously-proposed algorithms by Attiya, ...

    • Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems 

      Attie, Paul C.; Lynch, Nancy A. (2013-07-08)
      We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton ...