Nondeterministic Choice The nondeterministic (or internal) choice operator allows the future evolution of a process to be defined as a choice between two component processes, but does not allow the environment any control over which one of the component processes will be selected.
Μη ντετερμινιστική Επιλογή (Nondeterministic Choice) Ο τελεστής μη ντετερμινιστικής (ή εσωτερικής) επιλογής ορίζει τη μελλοντική εξέλιξη μιας διεργασίας σαν την επιλογή μεταξύ δύο διεργασιών-στοιχείων αλλά δεν επιτρέπει στο περιβάλλον να ελέγξει ποια από αυτές θα επιλεγεί.