Αποστολή με SMS: Partial-Order methods for the verification of concurrent systems