A Calculus of Mobile Resources


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… (More)
DOI: 10.1007/3-540-45694-5_19

2 Figures and Tables


  • Presentations referencing similar topics