Inductive sequentialization of asynchronous programs

Open Webpage

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

Published: 2020, Last Modified: 27 Apr 2025PLDI 2020EveryoneRevisionsBibTeXCC BY-SA 4.0