Polyphonic C#

Polyphonic C# extends the C# programming language with new asynchronous concurrency abstractions, based on the join calculus. The language presents a simple and powerful model of concurrency which is applicable both to multithreaded applications running on a single machine and to the orchestration of asynchronous, event-based applications communicating over a wide area network.

Polyphonic C# was designed and implemented by Nick Benton, Luca Cardelli, and Cédric Fournet at Microsoft Research, Cambridge. The Polyphonic C# constructs were subsequently integrated into the language.