RL Bocchino Jr, S Heumann,
N Honarmand… - ACM SIGPLAN …, 2011 - dl.acm.org
A number of deterministic parallel programming models with strong safety guarantees are
emerging, but similar support for nondeterministic algorithms, such as branch and bound …