Αποστολή με SMS: Logics for concurrency