An Implementation of the MR Calculus
- ,
- ,
- Søren Eduard Jacobsen
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 04/2002
Publication status
Published - 04/2002
Place of publication
CopenhagenEdition
TR-2002-14Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2002-14
ISSN: 1600-6100
ISBN (Electronic)
87-7949-017-4Abstract
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.
Access to documents
Final published version, 134.48 KB