Producing Tests for Implementations of OSI Protocols. - Richard J. Linn Jr.; W. H. McCoy (Protocol Specification, Testing, and Verification, 1983)

Some Experience with Testing Tools for OSI Protocol Implementations. - Richard J. Linn Jr.; J. Stephen Nightingale (Protocol Specification, Testing, and Verification, 1983)

An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. - Richard J. Linn Jr. (PSTV, 1984)

The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. - Richard J. Linn Jr. (PSTV, 1985)

Testing to Assure Interworking of Implementations of ISO/OSI Protocols. - Richard J. Linn Jr. (Comput. Networks, 1986)

Application of Formal Description Techniques to Conformance Evaluation. - Jean Philippe Favreau; Richard J. Linn Jr.; Philip Gaudette (FORTE, 1988)

Application of formal description techniques to the specification of distributed test systems. - Richard J. Linn Jr.; Jean Philippe Favreau (INFOCOM, 1988)

A Formal Multi-Layer Test Methodology and its Applications to OSI. - Jean Philippe Favreau; Richard J. Linn Jr.; J. Stephen Nightingale (FORTE, 1989)

Conformance Testing for OSI Protocols. - Richard J. Linn Jr. (Comput. Networks ISDN Syst., 1989)

Conformance evaluation methodology and protocol testing. - Richard J. Linn Jr. (IEEE J. Sel. Areas Commun., 1989)

Guidelines for Using Estelle to Specify OSI Services and Protocols. - Rachid Sijelmassi; Richard J. Linn Jr. (Comput. Networks ISDN Syst., 1992)

The High Performance Computing and Communication (HPCC) Program: technologies for the National Information Infrastructure (panel). - Donald A. B. Lindberg; John C. Toole; Paul R. Young; John S. Cavallini; Lee B. Holcomb; Richard J. Linn Jr.; George R. Cotter; Helen M. Wood; Joan H. Novak; Alexis T. Poliakoff (SC, 1994)