Richard L. Tenney

Publication Activity (10 Years)

Years Active: 1977-1990
Publications (10 Years): 0

Publications

Richard L. Tenney
Modelling flow control in Estelle. PSTV (1990)
Richard L. Tenney
Adding Interaction Sets to Estelle. FORTE (1990)
Thomas P. Blumer, Richard L. Tenney
A Formal Specification Technique and Implementation Method for Protocols. Comput. Networks 6 (3) (1982)
Richard L. Tenney, Gilbert Falk, Douglas H. Hunt
Impact of satellite technology on transport flow control. SIGCOMM (1981)
George S. Sacerdote, Richard L. Tenney
The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) STOC (1977)