Graph reduction shared-memory multip door Langendoen