Transcript Dijkstra-Scholten and Shavit-Francez termination algorithms