Richard L. Tenney

发表

Modelling flow control in Estelle

Richard L. Tenney, 1990, PSTV.

Differences between Estelle and LOTOS Descriptions of a Protocol

Richard L. Tenney, Jochen Grobholz, 1992 .

Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993

Richard L. Tenney, 1994, FORTE.

Adding Interaction Sets to Estelle

Richard L. Tenney, 1990, FORTE.

Impact of satellite technology on transport flow control

Richard L. Tenney, Gilbert Falk, Douglas H. Hunt, 1981, SIGCOMM 1981.

Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI

Paul D. Amer, M. Ümit Uyar, Richard L. Tenney, 1993 .

Impact of satellite technology on transport flow control

Richard L. Tenney, Gilbert Falk, Douglas H. Hunt, 1981, SIGCOMM.

The decidability of the reachability problem for vector addition systems (Preliminary Version)

Richard L. Tenney, George S. Sacerdote, G. Sacerdote, 1977, STOC '77.

A Formal Specification Technique and Implementation Method for Protocols

Thomas P. Blumer, Richard L. Tenney, 1982, Comput. Networks.

Second-order Ehrenfeucht games and the deciability of the second-order theory of an equivalence relation

Richard L. Tenney, 1975 .

Non-Transitive Dominance

Caxton C. Foster, Richard L. Tenney, 1976 .