Paolo A. G. Sivilotti, Charles P. Giles. The specification of distributed objects: liveness and locality. In Stephen A. MacKay, J. Howard Johnson, editors, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, November 8-11, 1999, Mississauga, Ontario, Canada. pages 11, IBM, 1999. [doi]
Abstract is missing.