Black-Box Correctness Tests for Basic Parallel Data Structures

Phillip B. Gibbons, John L. Bruno, Steven Phillips. Black-Box Correctness Tests for Basic Parallel Data Structures. Theory Comput. Syst., 35(4):391-432, 2002. [doi]

Abstract

Abstract is missing.