An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable
Stephen W. Cook, Bjarne Stroustrup, Scott M. Pike · 2007
Despite its widespread use, concurrent programming is still plagued by reliability problems, such as race conditions and deadlock, not found in sequential programs. We present a concurrency framework to help developers avoid these error conditions, and make it possible to verify their absence through static analysis.