Wyślij wiadomość: Logic for concurrency and synchronisation