Inductive sequentialization of asynchronous programs.

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

Browse the full PLDI paper archive.