TY - RPRT
T1 - An Implementation of the MR Calculus
AU - Godskesen, Jens Christian
AU - Hildebrandt, Thomas
AU - Jacobsen, Søren Eduard
PY - 2002/4
Y1 - 2002/4
N2 - 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.
AB - 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.
M3 - Report
T3 - IT University Technical Report Series
BT - An Implementation of the MR Calculus
PB - IT-Universitetet i København
CY - Copenhagen
ER -