Author: Unknown
Subject: progress
Date: Thursday, 26 Nov 2020, 01:02:14

Even though we did not look at progress outside of the context of strict alternation, would it be correct to say that dijkstra's also doesn't have progress because one process limits the others from entering its CS? In general, for any working algorithm that we looked at (except (2)), isn't that true?