Aggregált állapotokon alapuló erőforrás-foglaló protokollok vizsgálata