שליחה במסרון: Partial Correctness of Communicating Processes and Protocols