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.