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