A general schematic for parallel best-first search using a centralized strategy. The locking operation is used here to serialize queue access by various processors.
If there are n nodes to be expanded by both the sequential and parallel formulations (assuming that they do an equal amount of work), then the sequential run time is given by n(taccess+ texp).