Concurrent Testing of Processes (Extended Abstract)

Matthew Hennessy. Concurrent Testing of Processes (Extended Abstract). In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 94-107, Springer, 1992.

@inproceedings{Hennessy92,
  title = {Concurrent Testing of Processes (Extended Abstract)},
  author = {Matthew Hennessy},
  year = {1992},
  tags = {testing},
  researchr = {https://researchr.org/publication/Hennessy92},
  cites = {0},
  citedby = {0},
  pages = {94-107},
  booktitle = {CONCUR  92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August  24-27, 1992, Proceedings},
  editor = {Rance Cleaveland},
  volume = {630},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55822-5},
}