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

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › 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.

Lingua originale	Inglese
pagine (da-a)	98-115
Numero di pagine	18
Rivista	Electronic Notes in Theoretical Computer Science
Volume	66
Numero di pubblicazione	3
DOI	https://doi.org/10.1016/S1571-0661(04)80418-3
Stato di pubblicazione	Pubblicato - set 2002
Evento	Foundations of Wide Area Network Computing, F-WAN 2002 as a Satellite Workshop of ICALP 2002 - Malaga, Spain Durata: 12 lug 2002 → 13 lug 2002

Accesso al documento

10.1016/S1571-0661(04)80418-3

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@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 = "Foundations of Wide Area Network Computing, F-WAN 2002 as a Satellite Workshop of ICALP 2002 ; 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 - Foundations of Wide Area Network Computing, F-WAN 2002 as a Satellite Workshop of ICALP 2002

Y2 - 12 July 2002 through 13 July 2002

ER -

A calculus for "environment-aware" computation

Abstract

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo