Assigning Types to Processes (2000)

by Nobuko Yoshida , Matthew Hennessy
Venue:In LICS 2000
Citations:38 - 5 self