Gilbert M. Lundy

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Gilbert M. Lundy
1st International Conference on Network Protocols. Comput. Commun. 17 (4) (1994)
Gilbert M. Lundy, C. Basaran
Automated generation of protocol test sequences from formal specifications. ICNP (1994)
Gilbert M. Lundy, H. Alphan Tipici
Specification and analysis of the SNR high-speed transport protocol. IEEE/ACM Trans. Netw. 2 (5) (1994)
Gilbert M. Lundy, Raymond E. Miller
Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification. IEEE Trans. Commun. 41 (3) (1993)
Gilbert M. Lundy
Specification and analysis of a composition of protocols. Inf. Sci. 70 (3) (1993)
Gilbert M. Lundy, Berna Bülbül
Mushroom: a program for the automated verification of an SCM protocol specification. ICNP (1993)
Gilbert M. Lundy, Ian F. Akyildiz
Specification and analysis of the FDDI MAC protocol using systems of communicating machines. Comput. Commun. 15 (5) (1992)
Gilbert M. Lundy, R. C. McArthur
Formal Model of a High Speed Transport Procotol. PSTV (1992)
Gilbert M. Lundy, Raymond E. Miller
Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines. Distributed Comput. 5 (1991)