1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli
The resource calculus is an extension of the lambda-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction…