V. Bono, F. Damiani, and P. Giannini
A calculus for ``environment-aware''
computation
In F-WAN '02, volume 66.3 of ENTCS Elsevier, 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 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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43