1997 | ||
---|---|---|
3 | Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston: A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. FME 1997: 398-417 | |
1990 | ||
2 | M. Hakan Erdogmus, Robert de B. Johnston: An Approach to Specifying and Synthesizing Communicating Processes. FORTE 1990: 111-126 | |
1987 | ||
1 | Kevin Rea, Robert de B. Johnston: Automated Analysis of Discrete Communication Behavior. IEEE Trans. Software Eng. 13(10): 1115-1126 (1987) |
1 | Hakan Erdogmus (M. Hakan Erdogmus) | [2] |
2 | Michael J. Ferguson | [3] |
3 | Abdelillah Mokkedem (Abdel Mokkedem) | [3] |
4 | Kevin Rea | [1] |