A provably time-efficient parallel implementation of full speculation (1999)

by J Greiner, G E Blelloch
Venue:ACM Trans. Program. Lang. Syst