Automatic detection of nondeterminacy in parallel programs - Padua, David A.; Emrath, Perry A. (1988)
In: Workshop on Parallel and Distributed Debugging <1988, Madison, Wis.>: Proceedings of the ACM SIGPLAN and SIGOPS Workshop ... ; 1989