Correction to "Protocol Conversion"
暂无分享,去创建一个
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. >
[1] A. Udaya Shankar,et al. Protocol Verification via Projections , 1984, IEEE Transactions on Software Engineering.
[2] Simon S. Lam. Protocol Conversion , 1988, IEEE Trans. Software Eng..
[3] A. Udaya Shankar,et al. A Relational Notation for State Transition Systems , 1990, IEEE Trans. Software Eng..