أرسل هذا في رسالة قصيرة: Semantics of concurrent computation :