Αποστολή με SMS: Semantics of Nondeterminism‚ Concurrency and Communication