Hello,
an uneducated practitioner here, hoping to be enlightened:) The asynchronous network model assumes messages can be arbitrary delayed, but they cannot be lost.
I wonder if there is any practical difference between these two.
Here is the best what I could think of: A model where message cannot be lost is stronger that the one where messages can be lost. Hence results on this model are stronger too. But is the model where messages can be arbitrary delayed, but not lost, really stronger than the one where they can be lost? Why? What makes it stronger?
Is there anything completely different I’m missing? Perhaps the model where messages cannot be lost is just simpler to reason about? (and leading to the same results)