Deterministic Choice The deterministic (or external) choice operator allows the future evolution of a process to be defined as a choice between two component processes, and allows the environment to resolve the choice by communicating an initial event for one of the processes.
Ντετερμινιστική Επιλογή (Deterministic Choice) Ο τελεστής ντετερμινιστικής (ή εξωτερικής) επιλογής ορίζει τη μελλοντική εξέλιξη μιας διεργασίας σαν την επιλογή μεταξύ δύο διεργασιών-στοιχείων, και επιτρέπει στο περιβάλλον να επιλέξει επικοινωνόντας ένα αρχικό γεγονός για μια από τις διεργασίας.