In this paper the behavior of conditional communication in the presence of priority will be described. In the theory of CSP, conditional communications are expressed by a (external) choice construct—also known as the alternative construct—by which the choice of one communication out of a set of communications is non-deterministic. In practice, some communication can be more important than other...