Type-directed concurrency (2005)

by Deepak Garg, Frank Pfenning
Venue:16th International Conference on Concurrency Theory (CONCUR), volume 3653 of LNCS