Group Membership Protocol: Specification and Verification
- Yuri Gurevich ,
- Raghu Mani
1995 Oxford University Press book, Specification and Validation Methods |
An interesting and useful group membership protocol of Flavio Christian involves timing constraints, and its correctness is not obvious. We construct a mathematical model of the protocol and verify the protocol (and notice that the assumptions about the environment may be somewhat weakened).