Nick Benton, Luca Cardelli, Cédric Fournet. Modern Concurrency Abstractions for C:::#:::. In Boris Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings. Volume 2374 of Lecture Notes in Computer Science, pages 415-440, Springer, 2002. [doi]
Abstract is missing.