Αποστολή με SMS: Concurrent systems:semantics, specification, and synthesis