5 ms·

For #1, there's a well-sourced Stack Overflow post https://softwareengineering.stackexchange.com/a/377514 https://softwareengineering.stackexchange.com/a/377514

• emmanueloga_ 7y ago
  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
  • girvo 7y ago
    sci-hub.tw usually helps with getting papers that are behind paywalls!