S Rajsbaum,
M Raynal, K Vargas - … on Stabilizing, Safety, and Security of …, 2020 - Springer
A channel from a process p to a process q satisfies the ADD property if there are two
constants K and D, unknown to the processes, such that in any sequence of K consecutive …