id: 70803309
dt: a
an: 70803309
au: Yoshida, Nobuko; Hennessy, Matthew
ti: Assigning types to processes
so: LICS, 334-345 (2000).
py: 2000
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://www.computer.org/proceedings/lics/0725/07250334abs.htm