Title :
Correction to ´Protocol conversion´
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
In previously giving a summary of the theory of protocol projection (ibid., vol.14, no.3, p.353-62, Mar. 1988), an incorrect statement was made. A given statement is claimed to be false, and is corrected accordingly.<>
Keywords :
protocols; protocol projection; Cities and towns; Logic; Protocols; Sufficient conditions; Testing;
Journal_Title :
Software Engineering, IEEE Transactions on
