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