أرسل هذا في رسالة قصيرة: Design and implementation of a new compositional facility for concurrent processes /