Sincronizzazione CCS

Question

All'interno di CSS parliamo di interazioni binarie. Ciò impedisce alla sincronizzazione di più processi in un passaggio? Esempio:

$ P_1 :: = annuncio $

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

$ P_3 :: = annuncio $

Consideriamo i seguenti LTS: $ (p_1 | p_2 | p_3) restrition_a $

Ottengo $ p_1, p_2, p_3 $ $ tau $ -synchronizzato contemporaneamente se un'azione $ tau $ accade o solo due di loro vengono sincronizzati e quindi ottengo $ d | d | p_3 $?