Consensus in the presence of partial synchrony
- Cynthia Dwork
- Nancy Lynch
- et al.
- 1988
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
9 results for Nancy A. Lynch
Modeling Computational Security in Long-Lived Systems, Version 2
- Ran Canetti
- Ling Cheung
- et al.
- 2008
- Dagstuhl Seminar Proceedings 2008
Virtual Infrastructure for collision-prone wireless networks
- Gregory Chockler
- Seth Gilbert
- et al.
- 2008
- PODC 2008
Compositional security for task-PIOAs
- Ran Canetti
- Ling Cheung
- et al.
- 2007
- CSF 2007
Task-structured probabilistic I/O automata
- Ran Canetti
- Ling Cheung
- et al.
- 2006
- WODES 2006
Consensus and collision detectors in radio networks
- Gregory Chockler
- Murat Demirbas
- et al.
- 2008
- Distributed Computing
Analyzing security protocols using time-bounded task-PIOAs
- Ran Canetti
- Ling Cheung
- et al.
- 2008
- Discrete Event Dynamic Systems: Theory and Applications
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty
- Hagit Attiya
- Cynthia Dwork
- et al.
- 1994
- Journal of the ACM (JACM)
An efficient algorithm for byzantine agreement without authentication
- Danny Dolev
- Michael J. Fischer
- et al.
- 1982
- Information and Control