A Calculus for “environment-aware” computation
Viviana Bono, Ferruccio Damiani, Paola Giannini · Electronic Notes in Theoretical Computer Science · 2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. The calculus is an imperative, object-based language with extensible objects, equipped with a labelled transition semantics. A notion of bisimulation, lifting to computations a correspondence between the capabilities of di#erent environments, is provided. Bisimulation can be used to prove that a program is "cross-environment", i.e., it has the same behaviour when run in di#erent environments. 1