Enviar aquest missatge de text: Partial correctness of communicating processes and protocols /