Design, Implementation and Validation of a Multi-Peer Protocol Using Estelle