Parameterizing higher-order processes on names and processes - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Xian Xu 0001. Parameterizing higher-order processes on names and processes. ITA, 53(3-4):153-206, 2019. [doi]

@article{Xu19-37,
  title = {Parameterizing higher-order processes on names and processes},
  author = {Xian Xu 0001},
  year = {2019},
  doi = {10.1051/ita/2019005},
  url = {https://doi.org/10.1051/ita/2019005},
  researchr = {https://researchr.org/publication/Xu19-37},
  cites = {0},
  citedby = {0},
  journal = {ITA},
  volume = {53},
  number = {3-4},
  pages = {153-206},
}

runs on WebDSL