Pošalji tekstualnu poruku: Partial Correctness of Communicating Sequential Processes