Différence entre le | (parallèlisme) de CCS et le || de FSP

En CCS, seuls deux processus peuvent entamer en même temps un évenement de synchronisation. Si plus de deux processus sont prêts, le choix du couple qui le fait est indéterministe.
Ainsi en CCS, ((a.P) | (a.Q) | (a'.R)){a} permet à R d'être partagé entre P et Q.

En FSP,
P=(a->P).
Q=(a->Q).
R=(a->R).

Quand on lance l'exécution, on constate qu'il y a un seul événement a à exécuter.

P=(a->p->P).
Q= (a->q->Q).
R= (a->r->R).