Robust Asynchronous Protocols Are Finite-State.

Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni

Browse the full ICALP paper archive.