Race-condition detection in parallel computation with semaphores (extended abstract)

DOI10.1007/3-540-61680-2_74zbMath1379.68094OpenAlexW1589304319MaRDI QIDQ4595506

Hsueh-I Lu, Robert H. B. Netzer, Philip N. Klein

Publication date: 5 December 2017

Published in: Algorithms — ESA '96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61680-2_74

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Race-condition detection in parallel computation with semaphores (extended abstract)