Research on "Formal Methods in Computing"

A calculus for ``environment-aware'' computation

Work partially supported by IST-2001-33477 DART, MURST Cofin '01 NAPOLI Project, and CNR-GNSAGA.

ABSTRACT. 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.

• ps , pdf

BIBTEX.

@inproceedings{Bono-Damiani-Giannini:FWAN-02,
   author    = {V. Bono and F. Damiani and P. Giannini},
   title     = {{A calculus for ``environment-aware'' computation}},
   booktitle = {F-WAN'02},
   year      = {2002},
   publisher = {Elsevier},
   series    = {ENTCS},
   volume    = {66.3}
}