Sciweavers

ENTCS
2002

A Calculus for "Environment-Aware" Computation

13 years 9 months ago
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.
Viviana Bono, Ferruccio Damiani, Paola Giannini
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Viviana Bono, Ferruccio Damiani, Paola Giannini
Comments (0)