| 1994 |
|---|
| 5 | | Richard L. Tenney,
Paul D. Amer,
M. Ümit Uyar:
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
North-Holland 1994 |
| 1990 |
|---|
| 4 | | Richard L. Tenney:
Adding Interaction Sets to Estelle.
FORTE 1990: 377-382 |
| 3 | | Richard L. Tenney:
Modelling flow control in Estelle.
PSTV 1990: 33-44 |
| 1982 |
|---|
| 2 | | Thomas P. Blumer,
Richard L. Tenney:
A Formal Specification Technique and Implementation Method for Protocols.
Computer Networks 6(3): 201-217 (1982) |
| 1977 |
|---|
| 1 | | George S. Sacerdote,
Richard L. Tenney:
The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version)
STOC 1977: 61-76 |
