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