Agree that this is a very relevant paper. Thanks! Shared some general thoughts elsewhere, but one point that is worth repeating here:
We should learn from their use of terminology, specifically broadcast for the action of publishing and deliver for the action of formally processing a received message once all its causal dependencies have been met. Currently we vaguely refer to “sending” and “processing”, but I think “broadcast” and “deliver” may be more consistent with literature (and less ambiguous). cc @shash256