Assigning Types to Processes - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Nobuko Yoshida, Matthew Hennessy. Assigning Types to Processes. In LICS. pages 334-345, 2000. [doi]

@inproceedings{YoshidaH00:0,
  title = {Assigning Types to Processes},
  author = {Nobuko Yoshida and Matthew Hennessy},
  year = {2000},
  url = {http://www.computer.org/proceedings/lics/0725/07250334abs.htm},
  researchr = {https://researchr.org/publication/YoshidaH00%3A0},
  cites = {0},
  citedby = {0},
  pages = {334-345},
  booktitle = {LICS},
}

runs on WebDSL