Black-box correctness tests for basic parallel data structures

DOI10.1007/S00224-002-1046-6zbMath1041.68024OpenAlexW1965452160MaRDI QIDQ1849604

Phillip B. Gibbons, John L. Bruno, Steven J. Phillips

Publication date: 1 December 2002

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-002-1046-6

zbMATH Keywords

black-box procedureslinearizable priority queues

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Data structures (68P05)

This page was built for publication: Black-box correctness tests for basic parallel data structures