A calculus for "environment-aware" computation

Viviana Bono; Ferruccio Damiani; Paola Giannini

doi:10.1016/S1571-0661(04)80418-3

A calculus for "environment-aware" computation

Viviana Bono
, Ferruccio Damiani
, Paola Giannini

Department of Sustainable Development and Ecological Transition

Research output: Contribution to journal › Conference article › peer-review

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.

Original language	English
Pages (from-to)	98-115
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	66
Issue number	3
DOIs	https://doi.org/10.1016/S1571-0661(04)80418-3
Publication status	Published - Sept 2002
Event	F-WAN, Foundations of Wide Area Network Computing (ICALP 2002 Satellite Workshop) - Malaga, Spain Duration: 12 Jul 2002 → 13 Jul 2002

Access to Document

10.1016/S1571-0661(04)80418-3

Cite this

@article{e899be37b04c4c1dbb7832b3f2950f75,

title = "A calculus for {"}environment-aware{"} computation",

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.",

author = "Viviana Bono and Ferruccio Damiani and Paola Giannini",

year = "2002",

month = sep,

doi = "10.1016/S1571-0661(04)80418-3",

language = "English",

volume = "66",

pages = "98--115",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "3",

note = "F-WAN, Foundations of Wide Area Network Computing (ICALP 2002 Satellite Workshop) ; Conference date: 12-07-2002 Through 13-07-2002",

}

TY - JOUR

T1 - A calculus for "environment-aware" computation

AU - Bono, Viviana

AU - Damiani, Ferruccio

AU - Giannini, Paola

PY - 2002/9

Y1 - 2002/9

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

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

UR - https://www.scopus.com/pages/publications/18944388876

U2 - 10.1016/S1571-0661(04)80418-3

DO - 10.1016/S1571-0661(04)80418-3

M3 - Conference article

AN - SCOPUS:18944388876

SN - 1571-0661

VL - 66

SP - 98

EP - 115

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

T2 - F-WAN, Foundations of Wide Area Network Computing (ICALP 2002 Satellite Workshop)

Y2 - 12 July 2002 through 13 July 2002

ER -

A calculus for "environment-aware" computation

Abstract

Access to Document

Other files and links

Fingerprint

Cite this