# Is there any guarantee in asynchronous systems?

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:

1. 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).
2. If 1. is correct, then: no edge-cut in the network persists forever between the correct processes.