Foundational Calculi for Network Aware Programming

GianLuigi Ferrari, Rosario Pugliese, Emilio Tuosto.


We classify and evaluate a number of foundational calculi for network-aware programming. The benefits and drawbacks of each calculus and its appropriateness to express metaphors for network-aware programming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. This evaluation will help in understanding the potentials and the advantages of using foundational calculi in the design of new programming languages for network-aware programming.