Used "Stale Synchronous Parallel" in place of "bounded staleness", for consistency.