Richard L. Tenney

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Fri May 24 07:22:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page