Referee’s Report on "A transformational approach to specifying recovery in asynchronous communicating systems" by Zhiming Liu and Mathai Joseph, University of Warwick. Paper No. 40 ( withdrawn )

The authors of the work discussed in EWD1127 feel that I have failed to do justice to their work, and that the circulation of my comments and quotations was a breach of confidentiality. I think they would appreciate the destruction of your copy of EWD1127.

Edsger W. Dgksira