أرسل هذا في رسالة قصيرة: Logic for concurrency and synchronisation