Modern concurrency abstractions for C

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 ...