Comments, with reply, on "On the projection method for protocol verification" by T.-Y. Cheung
Y. Hirakawa · IEEE Transactions on Software Engineering · 1990
A counterexample to a theorem given in a paper by T.-Y. Cheung (see ibid., vol.12, no.11, p.1088-9, 1986) is given. In a reply, the author of the original paper argues that the counterexample is not correct.>