أرسل هذا في رسالة قصيرة: Semantics of Nondeterminism‚ Concurrency and Communication