Title: Partial correctness of communicating processes and protocols