An Implementation of the MR Calculus
Jens Christian Godskesen
Thomas Hildebrandt
Søren Eduard Jacobsen April 2002
Abstract
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),
PDF, and BibTeX.