For example, ( a → P ) ◻ ( b → Q ) {\displaystyle \left(a\rightarrow P\right)\Box \left(b\rightarrow Q\right)} is the process which is willing to communicate the initial events a {\displaystyle {\mathit {a}}} and b {\displaystyle {\mathit {b}}} , and subsequently behaves as either P {\displaystyle {\mathit {P}}} or Q {\displaystyle {\mathit {Q}}} depending on which initial event the environment chooses to communicate.
Για παράδειγμα, η ( a → P ) ◻ ( b → Q ) {\displaystyle \left(a\rightarrow P\right)\Box \left(b\rightarrow Q\right)} είναι η διεργασία που επιθυμεί να επικοινωνήσει τα αρχικά γεγονότα a {\displaystyle {\mathit {a}}} και b {\displaystyle {\mathit {b}}} , και στη συνέχεια συμπεριφέρεται είτε σαν την P {\displaystyle {\mathit {P}}} είτε σαν την Q {\displaystyle {\mathit {Q}}} , ανάλογα με το ποιο αρχικό γεγονός επέλεξε να επικοινωνήσει το περιβάλλον.