The paper “Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models” with Armando Castañeda, Dhrubajyoti Ghosh, Thomas Nowak, was accepted to SIROCCO 2026. arxiv
The paper shows that with a majority of correct processes, the Heard-Of model is equivalent to the standard asynchronous message-passing model with respect to the solvability of colorless tasks, and that for colored tasks the equivalence holds only for one failure. The proofs proceed through bidirectional simulations between and via an intermediate model that captures a notion of silenced processes.