Now showing items 1-1 of 1

    • On the Formal Specification of Group Membership Services 

      Anceaume, Emmanuelle; Charron-Bost, Bernadette; Minet, Pascale; Toueg, Sam (Cornell University, 1995-08)
      The problem of group membership has been the focus of much theoretical and experimental work on fault-tolerant distributed systems. This has resulted in a voluminous literature and several formal specifications of ...