Yifei Dong Xiaoqun Du Y. S. Ramakrishna C. R. Ramakrishnan I. V. Ramakrishnan Scott A. Smolka Oleg Sokolsky Eugene W. Stark David Scott Warren Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. 74-88 1999 conf/tacas/1999 TACAS http://link.springer.de/link/service/series/0558/bibs/1579/15790074.htm db/conf/tacas/tacas99.html#DongDRRRSSSW99