https://123dok.net/document/yr307kkj-characterizing-asynchronous-message-passing-models-through-rounds.html