This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Correction to 'Protocol Conversion'
September 1988 (vol. 14 no. 9)
pp. 1376

In previously giving a summary of the theory of protocol projection, an incorrect statement was made. A given statement is claimed to be false, and is corrected accordingly.

[1] S. S. Lam and A. U. Shankar, "Protocol verification via projections,"IEEE Trans. Software Eng., vol. SE-10, no. 4, pp. 325-342, July 1984.
[2] S. S. Lam and A. U. Shankar, "A relational notation for state transition systems," invited talk at the Eighth Int. Symp. Protocol Specification, Testing and Implementation, Atlantic City, NJ, June 1988; available as Tech. Rep. TR- 88-21, Dep. Comput. Sci., Univ. Texas at Austin, May 1988.

Index Terms:
protocol projection; protocols
Citation:
S.S. Lam, "Correction to 'Protocol Conversion'," IEEE Transactions on Software Engineering, vol. 14, no. 9, pp. 1376, Sept. 1988, doi:10.1109/32.6181
Usage of this product signifies your acceptance of the Terms of Use.