Modern concurrency abstractions for C#
Nick Benton, Luca Cardelli, Cédric Fournet · ACM Transactions on Programming Languages and Systems · 2004
Polyphonic C ♯ is an extension of the C ♯ language with new asynchronous concurrency constructs, based on the join calculus. We describe the design and implementation of the language and give examples of its use in addressing a range of concurrent programming problems.