Modern concurrency abstractions for C (2004)

by N Benton, L Cardelli, C Fournet
Venue:ACM Transactions on Programming Languages and Systems