Multiprocessor transitive closure algorithms | Synapse