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