![]() |
| 1994 | ||
|---|---|---|
| 6 | EE | Gilbert M. Lundy: 1st International Conference on Network Protocols. Computer Communications 17(4): 299-300 (1994) |
| 5 | EE | Gilbert M. Lundy, H. Alphan Tipici: Specification and analysis of the SNR high-speed transport protocol. IEEE/ACM Trans. Netw. 2(5): 483-496 (1994) |
| 1993 | ||
| 4 | EE | Gilbert M. Lundy: Specification and analysis of a composition of protocols. Inf. Sci. 70(3): 221-239 (1993) |
| 1992 | ||
| 3 | Gilbert M. Lundy, R. C. McArthur: Formal Model of a High Speed Transport Procotol. PSTV 1992: 97-111 | |
| 2 | EE | Gilbert M. Lundy, Ian F. Akyildiz: Specification and analysis of the FDDI MAC protocol using systems of communicating machines. Computer Communications 15(5): 286-294 (1992) |
| 1991 | ||
| 1 | Gilbert M. Lundy, Raimond E. Miller: Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines. Distributed Computing 5: 145-157 (1991) | |
| 1 | Ian F. Akyildiz | [2] |
| 2 | R. C. McArthur | [3] |
| 3 | Raimond E. Miller | [1] |
| 4 | H. Alphan Tipici | [5] |