una domanda sul linguaggio CSP

[loveforSCSI]

se un processo è costituito da un'alternativa non deterministica, del tipo

*[
guardia1 --> fa qualcosa
[]
guardia2 --> fa qualcos'altro
[]
..
[]
processo_A ? messaggo1 --> processo_A ? messaggio2
]

cioè l'ultima guardia ha un i/o (doppio nella guardia e negli statements successivi alla guardia), vorrei sapere:
se arriva il messaggio1 dal processo A, allora il nostro processo resta bloccato finchè non arriva il messaggio 2 sempre da A oppure nel frattempo continua a controllare le altre guardie???