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