Gilbert M. Lundy

According to our database, Gilbert M. Lundy authored at least 9 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1994

Specification and analysis of the SNR high-speed transport protocol.

Gilbert M. Lundy, H. Alphan Tipici

IEEE/ACM Trans. Netw., 1994

1st International Conference on Network Protocols.

Gilbert M. Lundy

Comput. Commun., 1994

Automated generation of protocol test sequences from formal specifications.

Gilbert M. Lundy, C. Basaran

Proceedings of the 1994 International Conference on Network Protocols, 1994

1993

Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification.

Gilbert M. Lundy, Raymond E. Miller

IEEE Trans. Commun., 1993

Specification and analysis of a composition of protocols.

Gilbert M. Lundy

Inf. Sci., 1993

Mushroom: a program for the automated verification of an SCM protocol specification.

Gilbert M. Lundy, Berna Bülbül

Proceedings of the 1993 International Conference on Network Protocols, 1993

1992

Specification and analysis of the FDDI MAC protocol using systems of communicating machines.

Gilbert M. Lundy, Ian F. Akyildiz

Comput. Commun., 1992

Formal Model of a High Speed Transport Procotol.

Gilbert M. Lundy, R. C. McArthur

Proceedings of the Protocol Specification, 1992

1991

Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines.

Gilbert M. Lundy, Raymond E. Miller

Distributed Comput., 1991