On the Formal Specification of Group Membership Services (1995)

by Emmanuelle Anceaume , Bernadette Charron-bost , Pascale Minet , Sam Toueg
Citations:48 - 2 self