A Calculus of Mobile Resources
TR-2002-16, Authors: Jens Chr. Godskesen, Thomas Hildebrandt and Vladimiro Sassone Jens Chr. Godskesen Thomas Hildebrandt Vladimiro Sassone
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.
Technical report TR-2002-16 in IT University Technical Report Series, August 2002.
Available as PDF