Natural proofs for asynchronous programs using almost-synchronous reductions

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 15, 2014
Source ID
10.1145/2660193.2660211

Entities

People

  • Ankush Desai
  • P. Madhusudan
  • Pranav Garg

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of California, Berkeley
  • University of Illinois Urbana–Champaign