Modern Concurrency Abstractions for C (2004)

by N Benton, L Cardelli, C Fournet
Venue:ACM Trans. Program. Lang. Syst