Specifying termination in CSP - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Paul Howells, Mark d'Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31-60, 2013. [doi]

@article{Howellsd13-0,
  title = {Specifying termination in CSP},
  author = {Paul Howells and Mark d'Inverno},
  year = {2013},
  doi = {10.1016/j.tcs.2013.05.008},
  url = {http://dx.doi.org/10.1016/j.tcs.2013.05.008},
  researchr = {https://researchr.org/publication/Howellsd13-0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {503},
  pages = {31-60},
}

runs on WebDSL