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

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 PDF.