Implementing choice in a programming language
Implementing choice in a programming language
Languages specialised for message passing include a special choice construct. In Ada this is the select statement in Occam the ALT statement. The general form is:
Generally, if each “arm” is ready, the first textually declared arm is chosen. The definition of provides this freedom, the choice does not have to be “fair” or random.