أرسل هذا في رسالة قصيرة: Partial Correctness of Communicating Processes and Protocols