More on bisimulations for higher order π-calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Zining Cao. More on bisimulations for higher order π-calculus. Theoretical Computer Science, 446:1-19, 2012. [doi]

@article{Cao12-0,
  title = {More on bisimulations for higher order π-calculus},
  author = {Zining Cao},
  year = {2012},
  doi = {10.1016/j.tcs.2012.04.014},
  url = {http://dx.doi.org/10.1016/j.tcs.2012.04.014},
  researchr = {https://researchr.org/publication/Cao12-0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {446},
  pages = {1-19},
}

runs on WebDSL