Parallel transitive closure of a directed graph