Paolo A. G. Sivilotti Charles P. Giles The specification of distributed objects: liveness and locality. 11 1999 conf/cascon/1999 CASCON http://doi.acm.org/10.1145/781995.782006 db/conf/cascon/cascon1999.html#SivilottiG99