Adam Shimi

K-set agreement bounds in round-based models through combinatorial topology

Armando Castaneda, Adam Shimi, 2020, PODC.

Asynchronous Message Orderings Beyond Causality

Aurélie Hurault, Philippe Quéinnec, Adam Shimi, 2017, OPODIS.

Derivation of Heard-of Predicates from Elementary Behavioral Patterns

Adam Shimi, Aur'elie Hurault, Philippe Queinnec, 2020, FORTE.

The Splendors and Miseries of Rounds

Adam Shimi, A. Shimi, 2019, SIGACT News.

Characterizing Asynchronous Message-Passing Models Through Rounds

Aurélie Hurault, Philippe Quéinnec, Adam Shimi, 2018, OPODIS.

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models pdf

Adam Shimi, Aur'elie Hurault, Philippe Queinnec, 2020, ArXiv.