Pause 'n' Play: Formalizing Asynchronous C#

Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen. Pause 'n' Play: Formalizing Asynchronous C#. In James Noble, editor, ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Volume 7313 of Lecture Notes in Computer Science, pages 233-257, Springer, 2012. [doi]

Abstract

Abstract is missing.