Natural proofs for asynchronous programs using almost-synchronous reductions.

Ankush Desai Pranav Garg P. Madhusudan

Published in: OOPSLA (2014)

Keyphrases

asynchronous communication
computer programs
fixpoint
database
real world
data mining
social networks
web services
high level
man made
programming environment
formal proof