Travelled to:1 × Austria
Collaborated with:A.Mokkedem M.J.Ferguson
Talks about:retransmiss (1) protocol (1) specif (1) verif (1) solut (1) tla (1) rlp (1)
Person: Robert de B. Johnston
DBLP: Johnston:Robert_de_B=
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.