A Formal Method to Prove Ordering Properties of Multicast Systems. - Christian Toinard; Gerard Florin; Christian Carrez (ACM SIGOPS Oper. Syst. Rev., 1999)