Validation of Systems of Parallel Processes

Andrew M. Lister. Validation of Systems of Parallel Processes. Comput. J., 17(2):148-151, 1974.

@article{Lister74,
  title = {Validation of Systems of Parallel Processes},
  author = {Andrew M. Lister},
  year = {1974},
  researchr = {https://researchr.org/publication/Lister74},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {17},
  number = {2},
  pages = {148-151},
}