An Implementation of the MR Calculus

Jens Christian Godskesen; Thomas Hildebrandt; Søren Eduard  Jacobsen

An Implementation of the MR Calculus

Jens Christian Godskesen
, Thomas Hildebrandt
, Søren Eduard Jacobsen

Research output: Book / Anthology / Report › Report › Research

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.

Original language	English

Place of Publication	Copenhagen
Publisher	IT-Universitetet i København
Edition	TR-2002-14
Number of pages	18
ISBN (Electronic)	87-7949-017-4
Publication status	Published - Apr 2002
Externally published	Yes

Series	IT University Technical Report Series
Number	TR-2002-14
ISSN	1600-6100

Keywords

Mobile Resource Calculus
MRsim
Simulator
Syntax and Semantics
Implementation Example

Access to Document

ITU-TR-2002-14 pdfFinal published version, 134 KB

Cite this

@book{9dfb6508c7a54640b4419b0808583466,

title = "An Implementation of the MR Calculus",

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. ",

keywords = "Mobile Resource Calculus, MRsim, Simulator, Syntax and Semantics, Implementation Example",

author = "Godskesen, \{Jens Christian\} and Thomas Hildebrandt and Jacobsen, \{S{\o}ren Eduard\}",

year = "2002",

month = apr,

language = "English",

series = "IT University Technical Report Series",

number = "TR-2002-14",

publisher = "IT-Universitetet i K{\o}benhavn",

address = "Denmark",

edition = "TR-2002-14",

}

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.

KW - Mobile Resource Calculus

KW - MRsim

KW - Simulator

KW - Syntax and Semantics

KW - Implementation Example

M3 - Report

T3 - IT University Technical Report Series

BT - An Implementation of the MR Calculus

PB - IT-Universitetet i København

CY - Copenhagen

ER -

An Implementation of the MR Calculus

Abstract

Keywords

Access to Document

Fingerprint

Cite this