A Calculus for "Environment-Aware" Computation

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 different 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 different environments.

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Viviana Bono, Ferruccio Damiani, Paola Giannini
• Keywords: Calculus, Computations, ENTCS 2002, Labelled Transition Semantics