Seguir
Nancy Lynch
Título
Citado por
Citado por
Año
Distributed algorithms
NA Lynch
Elsevier, 1996
67611996
Impossibility of distributed consensus with one faulty process
MJ Fischer, NA Lynch, MS Paterson
Journal of the ACM (JACM) 32 (2), 374-382, 1985
61791985
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
24912002
Consensus in the presence of partial synchrony
C Dwork, N Lynch, L Stockmeyer
Journal of the ACM (JACM) 35 (2), 288-323, 1988
21401988
An introduction to input/output automata
NA Lynch, MR Tuttle
Laboratory for Computer Science, Massachusetts Institute of Technology, 1988
15791988
Hierarchical correctness proofs for distributed algorithms
NA Lynch, MR Tuttle
Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987
11271987
Forward and backward simulations
N Lynch, F Vaandrager
Information and Computation 121 (2), 214-233, 1995
740*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
6201981
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
6001986
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
Nordic Journal of Computing 2 (2), 250-273, 1995
5841995
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
5402003
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
5402003
Comparison of polynomial-time reducibilities
R Ladner, N Lynch, A Selman
Proceedings of the sixth annual ACM symposium on Theory of computing, 110-121, 1974
5241974
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
4252010
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
International Conference on Concurrency Theory, 481-496, 1994
4001994
A new fault-tolerant algorithm for clock synchronization
JL Welch, N Lynch
Information and computation 77 (1), 1-36, 1988
3751988
An upper and lower bound for clock synchronization
J Lundelius, N Lynch
Information and control 62 (2-3), 190-204, 1984
3311984
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager, HB Weinberg
International Hybrid Systems Workshop, 496-510, 1995
3291995
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager, HB Weinberg
International Hybrid Systems Workshop, 496-510, 1995
3291995
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
3002010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20