Natural proofs for asynchronous programs using almost-synchronous reductions.

Ankush Desai, Pranav Garg, P. Madhusudan

Browse the full OOPSLA paper archive.