aggregate protocols in distribured systems