Carolos Livadas Nancy A. Lynch A Formal Venture into Reliable Multicast Territory. 146-161 2002 conf/forte/2002 FORTE http://link.springer.de/link/service/series/0558/bibs/2529/25290146.htm db/conf/forte/forte2002.html#LivadasL02