Cool, I'll take a look! I was quickly searching around and found this paper [1]: "Pause 'n' play: formalizing asynchronous C#". It looks promising, although

Cool, I'll take a look! 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... 1: https://dl.acm.org/citation.cfm?id=2367181 https://dl.acm.org/citation.cfm?id=2367181