/** Three-way rendezvous example
 *  The get interaction is performed simultaneously by the three processes FORK, XX, and YY. 
 *  Then each of these processes does its own put, putxx or putyy operation 
 *     (independently of one another) in an arbitrary order, before the get interaction can be performed again.
 *  
 *  G.v. Bochmann - 2008           
 */

FORK = (get -> put -> FORK).
XX = (get -> putxx -> XX).
YY = (get -> putyy -> YY).


||THREE = ( FORK || XX || YY ).