Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines. - Gilbert M. Lundy; Raymond E. Miller (Distributed Comput., 1991)

Formal Model of a High Speed Transport Procotol. - Gilbert M. Lundy; R. C. McArthur (PSTV, 1992)

Specification and analysis of the FDDI MAC protocol using systems of communicating machines. - Gilbert M. Lundy; Ian F. Akyildiz (Comput. Commun., 1992)

Mushroom: a program for the automated verification of an SCM protocol specification. - Gilbert M. Lundy; Berna Bülbül (ICNP, 1993)

Specification and analysis of a composition of protocols. - Gilbert M. Lundy (Inf. Sci., 1993)

Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification. - Gilbert M. Lundy; Raymond E. Miller (IEEE Trans. Commun., 1993)

Automated generation of protocol test sequences from formal specifications. - Gilbert M. Lundy; C. Basaran (ICNP, 1994)

1st International Conference on Network Protocols. - Gilbert M. Lundy (Comput. Commun., 1994)

Specification and analysis of the SNR high-speed transport protocol. - Gilbert M. Lundy; H. Alphan Tipici (IEEE/ACM Trans. Netw., 1994)