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] |