Assigning Types to Processes

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},
}