1. Atomic snapshots of shared memory
2. Defining liveness
3. Elizabeth Borowsky and Eli Gafni . 1993 a. Generalized FLP impossibility result for t-resilient asynchronous computations. In STOC. 91--100. 10.1145/167088.167119 Elizabeth Borowsky and Eli Gafni . 1993 a. Generalized FLP impossibility result for t-resilient asynchronous computations. In STOC. 91--100. 10.1145/167088.167119
4. Elizabeth Borowsky and Eli Gafni . 1993 b. Immediate atomic snapshots and fast renaming. In PODC. 41--51. 10.1145/164051.164056 Elizabeth Borowsky and Eli Gafni . 1993 b. Immediate atomic snapshots and fast renaming. In PODC. 41--51. 10.1145/164051.164056
5. Elizabeth Borowsky and Eli Gafni . 1997. A simple algorithmically reasoned characterization of wait-free computation (extended abstract). In PODC. 189--198. 10.1145/259380.259439 Elizabeth Borowsky and Eli Gafni . 1997. A simple algorithmically reasoned characterization of wait-free computation (extended abstract). In PODC. 189--198. 10.1145/259380.259439