Optimistic parallelization of communicating sequential processesDavid F. BaconRobert E. Strom1991PPoPP 1991