Synchronizing the Asynchronous.

Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger

Browse the full CONCUR paper archive.