Richard L. Tenney

According to our database, Richard L. Tenney authored at least 5 papers between 1977 and 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1990

Modelling flow control in Estelle.

Richard L. Tenney

Proceedings of the Protocol Specification, 1990

Adding Interaction Sets to Estelle.

Richard L. Tenney

Proceedings of the Formal Description Techniques, 1990

1982

A Formal Specification Technique and Implementation Method for Protocols.

Thomas P. Blumer, Richard L. Tenney

Comput. Networks, 1982

1981

Impact of satellite technology on transport flow control.

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

Proceedings of the seventh symposium on Data communications, 1981

1977

The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version)

George S. Sacerdote, Richard L. Tenney

Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977