Controlling resource usage in distributed systems is a challenging task given the dynamics
involved in access granting. Consider, eg, the setting of floating licenses where access can …