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