Distributed algorithms NA Lynch Elsevier, 1996 | 5940 | 1996 |

Impossibility of distributed consensus with one faulty process. MJ Fischer, NA Lynch, MS Paterson Massachusetts Inst of Tech Cambridge lab for Computer Science, 1982 | 5121 | 1982 |

Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services S Gilbert, N Lynch Acm Sigact News 33 (2), 51-59, 2002 | 1964 | 2002 |

Consensus in the presence of partial synchrony C Dwork, N Lynch, L Stockmeyer Journal of the ACM (JACM) 35 (2), 288-323, 1988 | 1555 | 1988 |

An introduction to input/output automata NA Lynch, MR Tuttle Laboratory for Computer Science, Massachusetts Institute of Technology, 1988 | 1458 | 1988 |

Hierarchical Correctness Proofs for Distributed Algorithms. NA Lynch, MS Tuttle MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE, 1987 | 1067 | 1987 |

Probabilistic simulations for probabilistic processes R Segala, N Lynch Nordic Journal of Computing 2 (2), 250-273, 1995 | 533 | 1995 |

A lower bound for the time to assure interactive consistency MJ Fischer, NA Lynch GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE, 1981 | 531 | 1981 |

Forward and backward simulations N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995 | 503 | 1995 |

A comparison of polynomial time reducibilities RE Ladner, NA Lynch, AL Selman Theoretical Computer Science 1 (2), 103-123, 1975 | 503 | 1975 |

Reaching approximate agreement in the presence of faults D Dolev, NA Lynch, SS Pinter, EW Stark, WE Weihl Journal of the ACM (JACM) 33 (3), 499-516, 1986 | 485 | 1986 |

Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and computation 185 (1), 105-157, 2003 | 475 | 2003 |

Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and computation 185 (1), 105-157, 2003 | 475 | 2003 |

A new fault-tolerant algorithm for clock synchronization JL Welch, N Lynch Information and computation 77 (1), 1-36, 1988 | 347 | 1988 |

Probabilistic simulations for probabilistic processes R Segala, N Lynch International Conference on Concurrency Theory, 481-496, 1994 | 343 | 1994 |

Distributed computation in dynamic networks F Kuhn, N Lynch, R Oshman Proceedings of the forty-second ACM symposium on Theory of computing, 513-522, 2010 | 329 | 2010 |

Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995 | 307 | 1995 |

Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995 | 307 | 1995 |

An upper and lower bound for clock synchronization J Lundelius, N Lynch Information and control 62 (2-3), 190-204, 1984 | 299 | 1984 |

The theory of timed I/O automata DK Kaynar, N Lynch, R Segala, F Vaandrager Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010 | 268 | 2010 |