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
ASCII Text
x 
 
S.S. Lam, "Correction to 'Protocol Conversion'," IEEE Transactions on Software Engineering, vol. 14, no. 9, pp. 1376, September, 1988.
 
 
BibTex
x
 
@article{ 10.1109/32.6181,
author = {S.S. Lam},
title = {Correction to 'Protocol Conversion'},
journal ={IEEE Transactions on Software Engineering},
volume = {14},
number = {9},
issn = {0098-5589},
year = {1988},
pages = {1376},
doi = {http://doi.ieeecomputersociety.org/10.1109/32.6181},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Correction to 'Protocol Conversion'
IS - 9
SN - 0098-5589
SP
EP
EPD - 1376
A1 - S.S. Lam,
PY - 1988
KW - protocol projection; protocols
VL - 14
JA - IEEE Transactions on Software Engineering
ER -
 

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.