Αποστολή με SMS: Partial Correctness of Communicating Sequential Processes