Assigning Types to Processes.

Nobuko Yoshida, Matthew Hennessy

Browse the full LICS paper archive.