A Calculus for Modeling Floating Authorizations

Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira

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