Travelled to:1 × Austria
Collaborated with:A.Mokkedem R.d.B.Johnston
Talks about:retransmiss (1) protocol (1) specif (1) verif (1) solut (1) tla (1) rlp (1)
Person: Michael J. Ferguson
DBLP: Ferguson:Michael_J=
Contributed to:
1997Wrote 1 papers:
- FME-1997-MokkedemFJ #protocol #specification #verification
- A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol (AM, MJF, RdBJ), pp. 398–417.