Synchronisation CCS

Question

Au sein de CSS, nous parlons des interactions binaires. Cela empêche-t-il la synchronisation de plusieurs processus en une seule étape? Exemple:

$ P_1 :: = ad $

$ P_2 :: = overline {a} .d $

$ P_3 :: = ad $

Considérons les lts suivants: $ (p_1 | p_2 | p_3) restriction_a $

Est-ce que je reçois $ p_1, p_2, p_3 $ $ tau $ -synchronisé simultanément si une action $ tau $ se produit ou seulement deux d'entre elles sont synchronés et donc j'obtiens $ d | d | p_3 $?