An Implementation of the MR Calculus
TR-2002-14, Authors: Jens Christian Godskesen, Thomas Hildebrandt and Søren Eduard Jacobsen Jens Christian Godskesen Thomas Hildebrandt 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 PDF