We know that in an asynchronous system, no assumptions about process execution speeds or message delivery times are made. My question is: can we present any guarantee in asynchronous systems?
Some examples of the guarantees that I'm looking for are:
- Consider two processes $p$ and $q$. $p$ sends a message an infinite number of times to $q$. $q$ delivers the message finally if two processes are correct (a process that never crashes is said to be correct).
- If 1. is correct, then: no edge-cut in the network persists forever between the correct processes.