Pause 'n' Play: Formalizing Asynchronous C#.

Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen

Browse the full ECOOP paper archive.