/** abcd-Example - rendezvous
 *  
 *  Gregor v. Bochmann, January 2015 */

A1 =  (a -> A2),
A2 = (b -> A3),
A3 = (rend -> END).

B1 = (c -> rend -> d -> END).

||SYSTEM = (A1 || B1).