Үүнийг мессежээр илгээх: Partial Correctness of Communicating Sequential Processes