Communication dans un congrès, ParSys, Informatique

One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks

Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum. One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks. DISC23, Oct 2023, L'aquila, Italy. ⟨10.4230/LIPIcs.DISC.2023.4⟩. ⟨hal-04286627⟩

Publié le