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