Dekker’s Algorithm