The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) - George S. Sacerdote; Richard L. Tenney (STOC, 1977)

Impact of satellite technology on transport flow control. - Richard L. Tenney; Gilbert Falk; Douglas H. Hunt (SIGCOMM, 1981)

A Formal Specification Technique and Implementation Method for Protocols. - Thomas P. Blumer; Richard L. Tenney (Comput. Networks, 1982)

Adding Interaction Sets to Estelle. - Richard L. Tenney (FORTE, 1990)

Modelling flow control in Estelle. - Richard L. Tenney (PSTV, 1990)