PaperCosmological lower bound on the circuit complexity of a small problem in logicLarry Stockmeyer, Albert R. MeyerJournal of the ACM
Conference paperBounds on the time to reach agreement in the presence of timing uncertaintyHagit Attiyat, Cynthia Dworkl, et al.STOC 1991
PaperBounds on the Time to Reach Agreement in the Presence of Timing UncertaintyHagit Attiya, Cynthia Dwork, et al.Journal of the ACM (JACM)
PaperFinite State Verifiers I: The Power of InteractionCynthia Dwork, Larry StockmeyerJournal of the ACM