package Communication.FDDI.Binary; module ring(event ?RT1, ?RT2, bool !TT1, !TT2) { loop { next(TT1) = true; next(TT2) = false; wait1: await(RT1); next(TT1) = false; next(TT2) = true; wait2: await(RT2); } }