"Extracting Non-Deterministic Concurrent Programs."

Ulrich Berger (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics