A Probabilistic Automaton Model of the NRM, HDX HDLC Procedure

Yoshifumi Masunaga. A Probabilistic Automaton Model of the NRM, HDX HDLC Procedure. Computer Networks, 2:442-453, 1978.