Category: partial-synchrony