Nobuko Yoshida, Matthew Hennessy. Assigning Types to Processes. Inf. Comput., 174(2):143-179, 2002. [doi]
@article{YoshidaH02, title = {Assigning Types to Processes}, author = {Nobuko Yoshida and Matthew Hennessy}, year = {2002}, url = {http://www.idealibrary.com/links/doi/10.1006/inco.2002.3113}, researchr = {https://researchr.org/publication/YoshidaH02}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {174}, number = {2}, pages = {143-179}, }