friend CommRecvTransition;
friend CommSendTransition;
friend CommTestTransition;
public:
CommWaitTransition(aid_t issuer, int times_considered, bool timeout_, unsigned comm_, aid_t sender_, aid_t receiver_,
friend CommRecvTransition;
friend CommSendTransition;
friend CommTestTransition;
public:
CommWaitTransition(aid_t issuer, int times_considered, bool timeout_, unsigned comm_, aid_t sender_, aid_t receiver_,