This node allows receiving from either R1 or R2, depending on an external choice.
End this protocol. It is good practice to demand this result from the execution to prove that the protocol ran in full.
Send a value T to the given Role
Receive a value T from the given Role
This value is received when the choice is resolved.