Αποστολή με SMS: Concurrency, Compositionality, and Correctness