Nancy Lynch
Nancy Lynch
Professor of EECS, MIT
在 csail.mit.edu 的電子郵件地址已通過驗證
標題引用次數年份
Distributed algorithms
NA Lynch
Elsevier, 1996
57751996
Impossibility of distributed consensus with one faulty process.
MJ Fischer, NA Lynch, MS Paterson
Massachusetts Inst of Tech Cambridge lab for Computer Science, 1982
49331982
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
18482002
Consensus in the presence of partial synchrony
C Dwork, N Lynch, L Stockmeyer
Journal of the ACM (JACM) 35 (2), 288-323, 1988
14871988
An introduction to input/output automata
NA Lynch, MR Tuttle
Laboratory for Computer Science, Massachusetts Institute of Technology, 1988
14371988
Hierarchical Correctness Proofs for Distributed Algorithms.
NA Lynch, MS Tuttle
MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE, 1987
10541987
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
Nordic Journal of Computing 2 (2), 250-273, 1995
5221995
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
5171981
A comparison of polynomial time reducibilities
RE Ladner, NA Lynch, AL Selman
Theoretical Computer Science 1 (2), 103-123, 1975
5001975
Forward and backward simulations
N Lynch, F Vaandrager
Information and Computation 121 (2), 214-233, 1995
4911995
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
4701986
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
4582003
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
4582003
A new fault-tolerant algorithm for clock synchronization
JL Welch, N Lynch
Information and computation 77 (1), 1-36, 1988
3431988
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
International Conference on Concurrency Theory, 481-496, 1994
3381994
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
3202010
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager, HB Weinberg
International Hybrid Systems Workshop, 496-510, 1995
3021995
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager, HB Weinberg
International Hybrid Systems Workshop, 496-510, 1995
3021995
An upper and lower bound for clock synchronization
J Lundelius, N Lynch
Information and control 62 (2-3), 190-204, 1984
2961984
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
2612010
系統目前無法執行作業,請稍後再試。
文章 1–20