Pošalji SMS: Semantics of concurrent computation :