Charles P. Giles, Paolo A. G. Sivilotti. A Tool for Testing Liveness in Distributed Object Systems. In Qizoyan Li, Donald Firesmith, Richard Riehle, Bertrand Meyer, editors, TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA. pages 319-328, IEEE Computer Society, 2000. [doi]
Abstract is missing.