A Provably Time-Efficient Parallel Implementation of Full Speculation (1996)

by John Greiner, Guy E. Blelloch
Venue:In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages