$S^*$ is meaningful if and only if for every process $p$, the local snapshot $S_p$ is meaningful.
Now, let's consider the case where $S^*$ is meaningful. This means that for every process $p$, the local snapshot $S_p$ is meaningful. In other words, $S_p$
Show more…
