- Joseph Y. Halpern and Lenore D. Zuck. A little knowledge goes a long
way: Knowledge-based derivations and correctness proofs for a family of
protocols. Journal of the ACM, 39(3):449-478, July
1992.
References
and Citations.
- Yehuda Afek, Hagit Attiya, Alan Fekete, Michael Fischer, Nancy Lynch,
Yishay Mansour, Dai-Wei Wang, and Lenore Zuck. Reliable communication over
unreliable channels. Journal of the ACM,
41(6):1267-1297, November 1994.
References
and Citations.
Shortcuts: