@book{b0963ff37bf846cd837d1d0594bbdcbc,
title = "A Calculus of Mobile Resources",
abstract = "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. ",
keywords = "Mobile Resources, Calculus, Bisimulation, Resource Constraints, Transition Semantics",
author = "Godskesen, \{Jens Christian\} and Thomas Hildebrandt and Vladimiro Sassone",
year = "2002",
month = oct,
language = "English",
series = "IT University Technical Report Series",
number = "TR–2002-16",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR–2002-16",
}