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

2 Figures and Tables

Topics

  • Presentations referencing similar topics