Ronitt Rubinfeld. Designing Checkers for Programs that Run in Parallel. Algorithmica, 15(4):287-301, 1996.
@article{Rubinfeld96,
title = {Designing Checkers for Programs that Run in Parallel},
author = {Ronitt Rubinfeld},
year = {1996},
tags = {parallel programming, programming},
researchr = {https://researchr.org/publication/Rubinfeld96},
cites = {0},
citedby = {0},
journal = {Algorithmica},
volume = {15},
number = {4},
pages = {287-301},
}