Отправить по sms: Partial Correctness of Communicating Sequential Processes