Minimal synchrony for implementing Timely Provable Reliable Send primitive with Byzantine failures. - Mohamed Ben Othmane; Abderrahim Siam; Hamouma Moumen (Int. J. Parallel Emergent Distributed Syst., 2023)