Type systems for concurrent programs. (2003)

by N Kobayashi
Venue:In 10th Anniversary Colloquium of UNU/IIST, LNCS 2757,