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 |