28 citations · 46 across the 8 of their papers we have counts for
1 paper · 2 filters
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enrich…