The specification of distributed objects: liveness and locality. - Paolo A. G. Sivilotti; Charles P. Giles (CASCON, 1999)

A Tool for Testing Liveness in Distributed Object Systems. - Charles P. Giles; Paolo A. G. Sivilotti (TOOLS (34), 2000)