-
Resource control and strong normalisation (old version)
We introduce the resource control cube, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and with... -
Resource control and strong normalisation
We introduce the \emph{resource control cube}, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and... -
A journey through resource control lambda calculi and explicit substitution u...
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda... -
Swap Fairness for Thrashing Mitigation
International audience -
Resource access fairness in best-effort shared systems
Over the last ten years, the IT services industry has gone through major transformations, to comply with customers ever-growing needs in terms of availability,...
