P: A programming language designed for asynchrony, fault-tolerance and uncertainty - Microsoft Research

To address the challenges of asynchronous computation, we have developed the P programming language for modeling and specifying protocols.

Read at https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/