(Wait | Med | Ack)\{ack,error,send,trans}

--- tau ---> (Send | Med | Rec)\{ack,error,send,trans}

(Wait | Med' | Rec)\{ack,error,send,trans}

--- tau ---> (Wait | Med | Del)\{ack,error,send,trans}
--- tau ---> (Wait | Err | Rec)\{ack,error,send,trans}

(Wait | Med | Del)\{ack,error,send,trans}

--- 'del ---> (Wait | Med | Ack)\{ack,error,send,trans}

(Sending | Med | Rec)\{ack,error,send,trans}

--- tau ---> (Wait | Med' | Rec)\{ack,error,send,trans}

(Wait | Err | Rec)\{ack,error,send,trans}

--- tau ---> (Sending | Med | Rec)\{ack,error,send,trans}

(Send | Med | Rec)\{ack,error,send,trans}

--- acc ---> (Sending | Med | Rec)\{ack,error,send,trans}

ProtocolImpl

--- acc ---> (Sending | Med | Rec)\{ack,error,send,trans}