More Parallelism in Dijkstra's Single-Source Shortest Path Algorithm. - Michael Kainer; Jesper Larsson Träff (CoRR, 2019)