أرسل هذا في رسالة قصيرة: Partial correctness of communicating processes and protocols /