Una soluzione al problema di group membership in un sistema distribuito sincrono