An Implementation of the MR Calculus
Jens Christian Godskesen
Søren Eduard Jacobsen
We demonstrate a simulator for the Mobile Resource Calculus (MR), called MRsim. First, an overview of the syntax and semantics of MR is given, along with an explanation of how the calculus is implemented. The second part of the paper gives an example of how the simulator is used.
Technical report TR-2002-14 in IT University Technical Report Series, April 2002.
Available as PostScript(gzip'ed)
, and BibTeX.