Designing Checkers for Programs that Run in Parallel

Ronitt Rubinfeld. Designing Checkers for Programs that Run in Parallel. Algorithmica, 15(4):287-301, 1996.

Abstract

Abstract is missing.