TY - RPRT
T1 - A Calculus of Mobile Resources
AU - Godskesen, Jens Christian
AU - Hildebrandt, Thomas
AU - Sassone, Vladimiro
PY - 2002/10
Y1 - 2002/10
N2 - We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se. We provide a reduction as well as a labelled transition semantics and prove a correspondence between barbed bisimulation congruence and a higher-order bisimulation. We provide examples of the expressiveness of the calculus, and apply the theory to prove one of its characteristic properties.
AB - We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se. We provide a reduction as well as a labelled transition semantics and prove a correspondence between barbed bisimulation congruence and a higher-order bisimulation. We provide examples of the expressiveness of the calculus, and apply the theory to prove one of its characteristic properties.
M3 - Report
T3 - IT University Technical Report Series
BT - A Calculus of Mobile Resources
PB - IT-Universitetet i København
CY - Copenhagen
ER -