I was quickly searching around and found this paper [1]:
"Pause 'n' play: formalizing asynchronous C#".
It looks promising, although it is behind a paywall ;-(. Also, the keyword "formalizing" tells me that maybe this goes a bit deeper than the kind of description I'm looking for...
