1protocol race_MultiOut { 2child: 3 async Msg1(); 4 async Msg1_(); 5parent: 6 async Msg2(); 7 async Msg2_(); 8 9start state S15: 10 send Msg1 goto S16 or S17; 11 recv Msg2 goto S18 or S19; 12 13state S16: 14 recv Msg2 goto S20; 15 recv Msg2_ goto S18; 16 17state S17: 18 recv Msg2 goto S20; 19 recv Msg2_ goto S15; 20 21state S18: 22 send Msg1 goto S20; 23 send Msg1_ goto S15; 24 25state S19: 26 send Msg1 goto S20; 27 send Msg1_ goto S16; 28 29state S20: 30 send Msg1 goto S20; 31 send Msg1_ goto S20; 32 recv Msg2 goto S20; 33 recv Msg2_ goto S20; 34 35}; 36