Richard L. Tenney

Formal description techniques

Chris A. Vissers, Richard L. Tenney, Gregor von Bochmann · Proceedings of the IEEE · 1983 · 139 citations

Engineering, Software Engineering, Semantics +22

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

George S. Sacerdote, Richard L. Tenney · 1977 · 71 citations

Computational Complexity Theory, Engineering, Reachability Problem +16

A formal specification technique and implementation method for protocols

Thomas P. Blumer, Richard L. Tenney · Computer Networks (1976) · 1982 · 44 citations

Formal Specification Technique, Specification Language, Formal Specification +9

Non-Transitive Dominance

Richard L. Tenney, Caxton C. Foster · Mathematics Magazine · 1976 · 20 citations

Generalized Dice, A Beats B

Decidable Pairing Functions

Richard L. Tenney · eCommons (Cornell University) · 1972 · 10 citations · Full text