Pošljite SMS: Logic for concurrency and synchronisation