4 problems

Let $r$ be a positive integer, let $C_{[0,t_1]}$ be a communication sequence, and let the $\mathrm{I\mathcal{V}SC}$ condition be the condition specified by the source. Let ARIS den…

Let $C_{[0,t_1]}$ be a communication sequence satisfying the $\mathrm{S\mathcal{V}SC}$ condition. Let the RIS algorithm be the algorithm proposed by Shah and Hassibi (2008), let th…

Let $C_{[0,t_1]}$ be a communication sequence, and let the $\mathrm{S\mathcal{V}CC}$ condition be defined by condition (C) of the cited theorem. Upon reception of each signal, choo…

Let $\mathcal{A}$ be a distributed algorithm, let $C_{[0,t_1]}$ be a communication sequence, and let $\mathrm{S\mathcal{V}SC}$ denote the relevant sufficient vertex-strongly-connec…