أرسل هذا في رسالة قصيرة: A theory of communicating sequential processes /