P# was already a project at microsoft. https://www.microsoft.com/en-us/research/project/safe-asynchronous-programming-p-p/ https://www.microsoft.com/en-us/resea

P# was already a project at microsoft. https://www.microsoft.com/en-us/research/project/safe-asynchronous-programming-p-p/ https://www.microsoft.com/en-us/research/project/safe-asynch... It has transformed since into: https://microsoft.github.io/coyote/ https://microsoft.github.io/coyote/